Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata
No abstract available.
Related papers
- Action-Based Model Checking: Logic, Automata, and Reduction CAV 2020
- Stutter-Invariant Languages, omega-Automata, and Temporal Logic CAV 1999
- Monitor optimization via stutter-equivalent loop transformation OOPSLA 2010
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata PLDI 2024
- Partial Quantifier Elimination and Property Generation CAV 2023
- Model Checking via Reachability Testing for Timed Automata TACAS 1998
- Symbolic Register Automata CAV 2019