Rapture

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