AdamMC
From MaRDI portal
Cited in
(9)- TAPAAL
- 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
- Anteater
- zUpdate
- Kuai
- PTrie
This page was built for software: AdamMC
