The demand for reliability in probabilistic verification

MaRDI QIDQ3528912zbMATH OpenFDO

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

Publication date 17 October 2008

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)

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

Cited in

(6)

• Ensuring the reliability of your model checker: interval iteration for Markov decision processes
• 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
• Verified computation with probabilities
• Verification, Model Checking, and Abstract Interpretation

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)