A Symbolic Approach to Predicate Abstraction
Abstract elided by the publisher.
Related papers
- Predicate Abstraction via Symbolic Decision Procedures CAV 2005
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables POPL 2015
- Polymorphic predicate abstraction TOPLAS 2005
- Abstraction of memory block manipulations by symbolic loop folding ESOP 2025
- Regular Reinforcement Learning CAV 2024
- EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution) TACAS 2025
- Alternating Automata Modulo First Order Theories CAV 2019
- Model checking for symbolic-heap separation logic with inductive predicates POPL 2016