Cunf

MaRDI QIDQ21225swMATHFDO

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

Cited in

(10)

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

This page was built for software: Cunf