COSMOS
From MaRDI portal
Cited in
(15)- Uniform sampling for timed automata with application to language inclusion measurement
- Expressing and computing passage time measures of GSPN models with HASL
- VESTA
- Ymer
- APMC
- MC2
- HASL
- StochKit2
- PLASMA
- SGN Sim
- PLASMA-lab
- Command-based importance sampling for statistical model checking
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
- Simulative model checking of steady state and time-unbounded temporal operators
This page was built for software: COSMOS
