Higher-Order Model Checking: An Overview

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.9 ◽

2015 ◽

Cited By ~ 7

Author(s):

Luke Ong

Keyword(s):

Model Checking ◽

Higher Order ◽

Order Model

Download Full-text

Automata theory and higher-order model-checking

ACM SIGLOG News ◽

10.1145/3026744.3026745 ◽

2016 ◽

Vol 3 (4) ◽

pp. 13-31 ◽

Cited By ~ 1

Author(s):

Igor Walukiewicz

Keyword(s):

Model Checking ◽

Higher Order ◽

Automata Theory ◽

Order Model

Download Full-text

A cartesian-closed category for higher-order model checking

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics.2017.8005120 ◽

2017 ◽

Cited By ~ 2

Author(s):

Martin Hofmann ◽

Jeremy Ledent

Keyword(s):

Model Checking ◽

Higher Order ◽

Order Model ◽

Cartesian Closed Category ◽

Closed Category ◽

Cartesian Closed

Download Full-text

Program Certification by Higher-Order Model Checking

Certified Programs and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35308-6_4 ◽

2012 ◽

pp. 9-10

Author(s):

Naoki Kobayashi

Keyword(s):

Model Checking ◽

Higher Order ◽

Order Model

Download Full-text

10 Years of the Higher-Order Model Checking Project (Extended Abstract)

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 ◽

10.1145/3354166.3354167 ◽

2019 ◽

Author(s):

Naoki Kobayashi

Keyword(s):

Model Checking ◽

Higher Order ◽

Order Model

Download Full-text

A type-directed abstraction refinement approach to higher-order model checking

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/2535838.2535873 ◽

2014 ◽

Cited By ~ 27

Author(s):

Steven J. Ramsay ◽

Robin P. Neatherway ◽

C.-H. Luke Ong

Keyword(s):

Model Checking ◽

Higher Order ◽

Order Model ◽

Abstraction Refinement

Download Full-text

Predicate abstraction and CEGAR for higher-order model checking

ACM SIGPLAN Notices ◽

10.1145/1993316.1993525 ◽

2011 ◽

Vol 46 (6) ◽

pp. 222-233 ◽

Cited By ~ 23

Author(s):

Naoki Kobayashi ◽

Ryosuke Sato ◽

Hiroshi Unno

Keyword(s):

Model Checking ◽

Higher Order ◽

Predicate Abstraction ◽

Order Model

Download Full-text

TravMC2: higher-order model checking for alternating parity tree automata

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632381 ◽

2014 ◽

Cited By ~ 5

Author(s):

Robin P. Neatherway ◽

C.-H. Luke Ong

Keyword(s):

Model Checking ◽

Higher Order ◽

Tree Automata ◽

Order Model

Download Full-text

A traversal-based algorithm for higher-order model checking

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 ◽

10.1145/2364527.2364578 ◽

2012 ◽

Cited By ~ 22

Author(s):

Robin P. Neatherway ◽

Steven J. Ramsay ◽

Chih-Hao Luke Ong

Keyword(s):

Model Checking ◽

Higher Order ◽

Order Model

Download Full-text

Session details: Higher-order model checking and slicing

10.1145/3249908 ◽

2012 ◽

Author(s):

Colin Runciman

Keyword(s):

Model Checking ◽

Higher Order ◽

Order Model

Download Full-text

Higher-Order Model Checking: From Theory to Practice

2011 IEEE 26th Annual Symposium on Logic in Computer Science ◽

10.1109/lics.2011.15 ◽

2011 ◽

Cited By ~ 6

Author(s):

Naoki Kobayashi

Keyword(s):

Model Checking ◽

Higher Order ◽

Order Model ◽

Theory To Practice

Download Full-text