swMATH13409MaRDI QIDQ25323FDOQ25323
Author name not available (Why is that?)
Official website: http://www.cs.famaf.unc.edu.ar/~dargenio/sites/default/files/pdf/papers/paper-197.pdf
Cited In (18)
- Model-based testing of probabilistic systems
- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
- Model checking probabilistic systems
- Formal system verification. State-of the-art and future trends
- CEGAR for compositional analysis of qualitative properties in Markov decision processes
- Theoretical Aspects of Computing – ICTAC 2005
- PASS
- TorX
- PARAM
- PLASMA
- Rabinizer
- JScience
- PROPhESY
- iscasMc
- AMT
- ASDeX
- POWER-TRUCTOR
- Exact quantitative probabilistic model checking through rational search
This page was built for software: Rapture
