Counterexample Validation and Interpolation-Based Refinement for Forest Automata
No abstract available.
Related papers
- Dependent types from counterexamples POPL 2010
- Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation CAV 2015
- Space-Time Interpolants CAV 2018
- Forest Automata for Verification of Heap Manipulation CAV 2011
- Forester: Shape Analysis Using Tree Automata - (Competition Contribution) TACAS 2015
- Forester: From Heap Shapes to Automata Predicates - (Competition Contribution) TACAS 2017
- Spatial Interpolants ESOP 2015
- Alternating Automata Modulo First Order Theories CAV 2019