Rapture
From MaRDI portal
Software:25323
swMATH13409MaRDI QIDQ25323FDOQ25323
Author name not available (Why is that?)
Cited In (7)
- 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
- Exact quantitative probabilistic model checking through rational search
This page was built for software: Rapture
