Cited in
(29)- Three-valued abstraction for probabilistic systems
- Computer Aided Verification
- Towards light-weight probabilistic model checking
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
- Statistical verification of PCTL using antithetic and stratified samples
- A Tutorial on Interactive Markov Chains
- Command-based importance sampling for statistical model checking
- LiQuor
- MRMC
- VESTA
- COSMOS
- ArgoUML
- APMC
- Delta Sigma
- MC2
- HASL
- StochKit2
- PLASMA
- SGN Sim
- PLASMA-lab
- Statistical Model Checking for Networks of Priced Timed Automata
- Statistical probabilistic model checking with a focus on time-bounded properties
- Statistical verification of probabilistic properties with unbounded until
- Comparative analysis of statistical model checking tools
- Algorithmic probabilistic game semantics. Playing games with automata
- On simulation-based probabilistic model checking of mixed-analog circuits
- A platform for high performance statistical model checking -- PLASMA
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
- Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
This page was built for software: Ymer
