Cited in
(10)- Model checking \(\omega \)-regular properties with decoupled search
- Star-Topology Decoupling in SPIN
- Star-topology decoupled state space search
- Cunf: a tool for unfolding and verifying Petri nets with read arcs
- Efficient unfolding of contextual Petri nets
- Punf
- Mole
- CosyVerif
- PEP
- Non-interference by unfolding
This page was built for software: Cunf
