Quantitative analysis with the probabilistic model checker PRISM

DOI10.1016/J.ENTCS.2005.10.030MaRDI QIDQ7014296zbMATH OpenFDO

Authors Marta Kwiatkowska, Gethin Norman, David Parker

Publication date 11 March 2025

zbMATH Keywords

Markov modelsreliabilitytemporal logicprobabilistic model checkingautomatic verificationdependabilityperformability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Quantitative analysis with the probabilistic model checker PRISM

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