Model checking \(\omega \)-regular properties with decoupled search
From MaRDI portal
Publication:832281
DOI10.1007/978-3-030-81688-9_19zbMath1493.68208OpenAlexW3183275725MaRDI QIDQ832281
Jan Eisenhut, Daniel Gnad, Alberto Lluch Lafuente, Jörg Hoffmann
Publication date: 25 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-81688-9_19
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A stubborn attack on state explosion
- Combining partial-order reductions with on-the-fly model-checking.
- An improvement of McMillan's unfolding algorithm
- Star-topology decoupled state space search
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Graph-Based Algorithms for Boolean Function Manipulation
- Determinization of Büchi-Automata
- Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
- Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search
- Tools and Algorithms for the Construction and Analysis of Systems
- An automata-theoretic approach to branching-time model checking
- Tools and Algorithms for the Construction and Analysis of Systems
- Star-Topology Decoupling in SPIN
