ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Combining higher-order model checking with refinement type inference
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019
◽
10.1145/3294032.3294081
◽
2019
◽
Cited By ~ 2
Author(s):
Ryosuke Sato
◽
Naoki Iwayama
◽
Naoki Kobayashi
Keyword(s):
Model Checking
◽
Higher Order
◽
Type Inference
◽
Order Model
Download Full-text
Related Documents
Cited By
References
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close