Rapture
From MaRDI portal
Cited in
(21)- JTorX
- ProbDiVinE
- LiQuor
- PASS
- TorX
- PARAM
- Exact quantitative probabilistic model checking through rational search
- PLASMA
- Model checking probabilistic systems
- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
- Rabinizer
- JScience
- PROPhESY
- Formal system verification. State-of the-art and future trends
- iscasMc
- POWER-TRUCTOR
- ASDeX
- AMT
- Theoretical Aspects of Computing – ICTAC 2005
- Model-based testing of probabilistic systems
- CEGAR for compositional analysis of qualitative properties in Markov decision processes
This page was built for software: Rapture
