Cunf

swMATH9238MaRDI QIDQ21225FDOQ21225

Author name not available (Why is that?)

Cited In (6)

• Star-Topology Decoupling in SPIN
• Model checking \(\omega \)-regular properties with decoupled search
• Star-topology decoupled state space search
• Non-interference by Unfolding
• Efficient unfolding of contextual Petri nets
• Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs

This page was built for software: Cunf