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

model checking of digital systemsprobabilistic model checking

Mathematics Subject Classification ID

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

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
• Verified computation with probabilities
• Verification, Model Checking, and Abstract Interpretation
• 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)