scientific article; zbMATH DE number 1538048

MaRDI QIDQ4518904zbMATH OpenFDO

Authors Holger Hermanns, Joachim Meyer-Kayser, Markus Siegle, Joost-Pieter Katoen

Publication date 3 December 2000

zbMATH Keywords

Markov chainsmodel checking

Mathematics Subject Classification ID

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

Recommendations

• Model-checking continuous-time Markov chains
• Tools and Algorithms for the Construction and Analysis of Systems
• Stochastic model checking
• scientific article; zbMATH DE number 1864588
• Model-checking large structured Markov chains.

Cited in

(20)

• Model-checking large structured Markov chains.
• Algorithmic probabilistic game semantics. Playing games with automata
• Compositional model checking of product-form CTMCs
• Stochastic model checking
• Algorithm 972: jMarkov: an integrated framework for Markov chain modeling
• Model Checking Interactive Markov Chains
• Model checking interactive Markov chains
• scientific article; zbMATH DE number 1946767 (Why is no real title available?)
• scientific article; zbMATH DE number 1864588 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Theoretical Aspects of Computing - ICTAC 2004
• Model-checking continuous-time Markov chains
• Finite horizon analysis of Markov chains with the Mur verifier
• Shepherding hordes of Markov chains
• Model checking branching time properties for incomplete Markov chains
• Trace machines for observing continuous-time Markov chains
• Quantitative analysis with the probabilistic model checker PRISM
• Simulation of program execution using popular Markov chains
• Minimization of probabilistic models of programs

This page was built for publication:

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