Program Certification by Higher-Order Model Checking
No abstract available.
DOI 10.1007/978-3-642-35308-6_4
Related papers
- Verifiable Certificates for Predicate Subtyping ESOP 2019
- Introducing Certificates to the Hardware Model Checking Competition CAV 2025
- Space-Efficient Model-Checking of Higher-Order Recursion Schemes VMCAI 2025
- Model-Checking Higher-Order Programs with Recursive Types ESOP 2013
- A ZDD-Based Efficient Higher-Order Model Checking Algorithm APLAS 2014
- Higher-Order Model Checking in Direct Style APLAS 2016
- Verification of Tree-Processing Programs via Higher-Order Model Checking APLAS 2010
- Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes APLAS 2013