ITS-Tools
From MaRDI portal
Cited in
(39)- GreatSPN
- TAPAAL
- Rabbit
- TAXYS
- TINA
- POEM
- libDDD
- LoLA
- SNOOPY
- Renew
- FORCE
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- SNAKES
- Automata-driven partial order reduction and guided search for LTL model checking
- Petri nets semantics of reaction rules (RR). A language for ecosystems modelling
- LearnLib
- LinAIG
- Nested-unit Petri nets
- MARCIE
- UPPAAL TIGA
- Synthia
- Petriweb
- Improvements in unfolding of colored Petri nets
- Model checking data flows in concurrent network updates
- REDLIB
- APT
- PNML2NUPN
- NUPN_INFO
- PNMC
- Meddly
- caesar.bdd
- LOEWE
- Anteater
- AdamMC
- zUpdate
- Kuai
- FatTire
- Symbolic and structural model-checking
- Repeatability package
This page was built for software: ITS-Tools
