AdamMC
From MaRDI portal
Software:45889
No author found.
Related Items (4)
\textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL ⋮ Model Checking Data Flows in Concurrent Network Updates ⋮ 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
This page was built for software: AdamMC
