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