The demand for reliability in probabilistic verification

zbMATH Open1156.68480MaRDI QIDQ3528912FDOQ3528912

Authors: Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker 

Publication date: 17 October 2008

Recommendations

• Ensuring the reliability of your model checker: interval iteration for Markov decision processes
• Model checking probabilistic systems
• Verification, Model Checking, and Abstract Interpretation
• Probabilistic verification and approximation
• Model checking of probabilistic and nondeterministic systems

zbMATH Keywords

probabilistic model checkingmodel checking of digital systems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (6)

• Verified computation with probabilities
• Ensuring the reliability of your model checker: interval iteration for Markov decision processes
• Verification, Model Checking, and Abstract Interpretation
• Exact quantitative probabilistic model checking through rational search
• A practitioner's guide to MDP model checking algorithms
• Correct probabilistic model checking with floating-point arithmetic

This page was built for publication: The demand for reliability in probabilistic verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3528912)