Cunf

MaRDI QIDQ21225swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-319-02444-8_42

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