Model checking -regular properties with decoupled search
DOI10.1007/978-3-030-81688-9_19zbMATH Open1493.68208OpenAlexW3183275725MaRDI QIDQ832281FDOQ832281
Authors: Daniel Gnad, Jan Eisenhut, Alberto Lluch Lafuente, J. Hoffmann 
Publication date: 25 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-81688-9_19
Recommendations
Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Graph-Based Algorithms for Boolean Function Manipulation
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Title not available (Why is that?)
- Title not available (Why is that?)
- A stubborn attack on state explosion
- Combining partial-order reductions with on-the-fly model-checking.
- Determinization of Büchi-Automata
- An automata-theoretic approach to branching-time model checking
- Title not available (Why is that?)
- An improvement of McMillan's unfolding algorithm
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Star-topology decoupled state space search
- 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
- Nested emptiness search for generalized Büchi automata
- Star-Topology Decoupling in SPIN
Cited In (3)
Uses Software
This page was built for publication: Model checking \(\omega \)-regular properties with decoupled search
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832281)
