Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes
Abstract elided by the publisher.
Related papers
- Linearity in higher-order recursion schemes POPL 2018
- A traversal-based algorithm for higher-order model checking ICFP 2012
- Higher-order multi-parameter tree transducers and recursion schemes for program verification POPL 2010
- Software model checking using languages of nested trees TOPLAS 2011
- Types and higher-order recursion schemes for verification of higher-order programs POPL 2009
- Space-Efficient Model-Checking of Higher-Order Recursion Schemes VMCAI 2025
- C-SHORe: a collapsible approach to higher-order verification ICFP 2013
- Practical Applications of the Alternating Cycle Decomposition TACAS 2022