A ZDD-Based Efficient Higher-Order Model Checking Algorithm
No abstract available.
DOI 10.1007/978-3-319-12736-1_19
Related papers
- Space-Efficient Model-Checking of Higher-Order Recursion Schemes VMCAI 2025
- Large program trace analysis and compression with ZDDs CGO 2010
- A traversal-based algorithm for higher-order model checking ICFP 2012
- Types and higher-order recursion schemes for verification of higher-order programs POPL 2009
- A type-directed abstraction refinement approach to higher-order model checking POPL 2014
- A Type-Based HFL Model Checking Algorithm APLAS 2019
- Types and trace effects of higher order programs JFP 2008
- Verifying higher-order functional programs with pattern-matching algebraic data types POPL 2011