Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking
Abstract elided by the publisher.
Related papers
- Model Checking ømega-Regular Properties with Decoupled Search CAV 2021
- SMT-Based Symbolic Model-Checking for Operator Precedence Languages CAV 2024
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025
- Symbolic Register Automata CAV 2019
- Parallel Explicit Model Checking for Generalized Büchi Automata TACAS 2015
- Efficient Guiding Towards Cost-Optimality in UPPAAL TACAS 2001
- Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification TACAS 2025