A Symbolic Semantics for Abstract Model Checking
No abstract available.
Related papers
- Sound Borrow-Checking for Rust via Symbolic Semantics ICFP 2024
- Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases TACAS 2004
- Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors CAV 2004
- Eager Abstraction for Symbolic Model Checking CAV 2018
- Symbolic transfer function-based approaches to certified compilation POPL 2004
- The TLA+ Model Checker Apalache CAV 2026
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables POPL 2015