AdamMC

swMATH34180MaRDI QIDQ45889FDOQ45889

Author name not available (Why is that?)

Cited In (4)

• Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
• Automatic synthesis of transiently correct network updates via Petri games
• \textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL
• Model Checking Data Flows in Concurrent Network Updates

This page was built for software: AdamMC