swMATH34180MaRDI QIDQ45889FDOQ45889
Author name not available (Why is that?)
Official website: https://uol.de/csd/adammc
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
