AdamMC
From MaRDI portal
Cited in
(9)- 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
- \textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL
- TAPAAL
- Anteater
- Kuai
- zUpdate
- PTrie
This page was built for software: AdamMC
