Towards a Certified Petri Net Model-Checker
Abstract elided by the publisher.
Related papers
- Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches TACAS 2009
- 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
- A State-of-the-Art Karp-Miller Algorithm Certified in Coq TACAS 2024
- 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