MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS
From MaRDI portal
Publication:3646165
DOI10.1142/S0129054109006887zbMath1186.68272MaRDI QIDQ3646165
Noomene Ben Henda, Ahmed Rezine, Giorgio Delzanno, Parosh Aziz Abdulla
Publication date: 19 November 2009
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Related Items
Generalization strategies for the verification of infinite state systems ⋮ Unnamed Item ⋮ Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation ⋮ Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker ⋮ Finite reasons for safety
Cites Work
- Unnamed Item
- Editorial: Special issue on ``Theoretical aspects of computer science (STACS 2015)
- Using partial orders for the efficient verification of deadlock freedom and safety properties
- REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION
- Reasoning about systems with many processes
- Reachability in Petri Nets with Inhibitor Arcs
- Symbolic model checking with rich assertional languages