Automatic Abstraction Using Generalized Model Checking
No abstract available.
Related papers
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking CAV 2013
- Automatic Abstraction Techniques for Propositional µ-calculus Model Checking CAV 1997
- Automatic Predicate Abstraction of C Programs PLDI 2001
- Predicate abstraction and CEGAR for higher-order model checking PLDI 2011
- Efficient Evidence Generation for Modal μ-Calculus Model Checking TACAS 2025
- Race checking by context inference PLDI 2004
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications CAV 2025