Regular model checking: evolution and perspectives
From MaRDI portal
Publication:6045027
DOI10.1007/978-3-030-91384-7_5zbMath1522.68291OpenAlexW4205728061MaRDI QIDQ6045027
Publication date: 26 May 2023
Published in: Model Checking, Synthesis, and Learning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-91384-7_5
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the regular structure of prefix rewriting
- Symbolic model checking: \(10^{20}\) states and beyond
- Model checking the full modal mu-calculus for infinite sequential processes
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
- Parameterized Verification of Infinite-State Processes with Global Conditions
- Handling Parameterized Systems with Non-atomic Global Conditions
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
- Computer Aided Verification
- Symbolic model checking with rich assertional languages
- Reachability analysis of pushdown automata: Application to model-checking
