Model Checking Recursive Programs with Numeric Data Types
Abstract elided by the publisher.
Related papers
- Verifying higher-order functional programs with pattern-matching algebraic data types POPL 2011
- Predicate abstraction and CEGAR for higher-order model checking PLDI 2011
- Model-Checking Higher-Order Programs with Recursive Types ESOP 2013
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- A traversal-based algorithm for higher-order model checking ICFP 2012
- Making the java memory model safe TOPLAS 2013
- Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study TACAS 2004
- Declaration-Free Type Checking POPL 1985