swMATH9468MaRDI QIDQ21451FDOQ21451
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/11513988_43
Cited In (27)
- 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
- VESTA
- COSMOS
- ArgoUML
- APMC
- Delta Sigma
- MC2
- HASL
- StochKit2
- Statistical Model Checking for Networks of Priced Timed Automata
- Statistical probabilistic model checking with a focus on time-bounded properties
- PLASMA
- SGN Sim
- PLASMA-lab
- Statistical verification of probabilistic properties with unbounded until
- Comparative analysis of statistical model checking tools
- On simulation-based probabilistic model checking of mixed-analog circuits
- Algorithmic probabilistic game semantics. Playing games with automata
- A platform for high performance statistical model checking -- PLASMA
- Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
This page was built for software: Ymer
