Applying CEGAR to the Petri Net State Equation
Abstract elided by the publisher.
Related papers
- Using Petri Net Invariants in State Space Construction TACAS 2003
- State Class Constructions for Branching Analysis of Time Petri Nets TACAS 2003
- Incremental, Inductive Coverability CAV 2013
- KReach: A Tool for Reachability in Petri Nets TACAS 2020
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997
- Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules TOPLAS 1998
- Property Directed Reachability for Generalized Petri Nets TACAS 2022
- Directed Reachability for Infinite-State Systems TACAS 2021