Zeno: An Automated Prover for Properties of Recursive Data Structures
No abstract available.
Related papers
- Solvable Tuple Patterns and Their Applications to Program Verification PLDI 2026
- Automated lemma synthesis in symbolic-heap separation logic POPL 2018
- Type-based data structure verification PLDI 2009
- Terms for Efficient Proof Checking and Parsing CPP 2023
- Towards a unified proof framework for automated fixpoint reasoning using matching logic OOPSLA 2020
- Symbolic Automatic Relations and Their Applications to SMT and CHC Solving SAS 2021
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System VMCAI 2007
- Pattern minimization problems over recursive data types ICFP 2008