Rapture
From MaRDI portal
Cited in
(21)- 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
- JTorX
- LiQuor
- ProbDiVinE
- PASS
- TorX
- PARAM
- CEGAR for compositional analysis of qualitative properties in Markov decision processes
- PLASMA
- Rabinizer
- JScience
- PROPhESY
- iscasMc
- AMT
- ASDeX
- POWER-TRUCTOR
- Theoretical Aspects of Computing – ICTAC 2005
- Exact quantitative probabilistic model checking through rational search
This page was built for software: Rapture
