Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches
Abstract elided by the publisher.
Related papers
- Romeo: A Tool for Analyzing Time Petri Nets CAV 2005
- Towards a Certified Petri Net Model-Checker APLAS 2011
- AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL CAV 2020
- AlPiNA: An Algebraic Petri Net Analyzer TACAS 2010
- Property Directed Reachability for Generalized Petri Nets TACAS 2022
- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability VMCAI 2024
- KReach: A Tool for Reachability in Petri Nets TACAS 2020
- A Storm is Coming: A Modern Probabilistic Model Checker CAV 2017