scientific article; zbMATH DE number 1538048

zbMATH Open0960.68108MaRDI QIDQ4518904FDOQ4518904

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

Publication date: 3 December 2000

Title of this publication is not available (Why is that?)

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.

zbMATH Keywords

Markov chainsmodel checking

Mathematics Subject Classification ID

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

Cited In (16)

• Title not available (Why is that?)
• Theoretical Aspects of Computing - ICTAC 2004
• Title not available (Why is that?)
• Model-checking large structured Markov chains.
• Stochastic model checking
• Model-checking continuous-time Markov chains
• Algorithm 972: jMarkov: an integrated framework for Markov chain modeling
• Model checking interactive Markov chains
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Compositional model checking of product-form CTMCs
• Simulation of program execution using popular Markov chains
• Minimization of probabilistic models of programs
• Finite horizon analysis of Markov chains with the Mur\(\varphi \) verifier
• Algorithmic probabilistic game semantics. Playing games with automata
• Model Checking Interactive Markov Chains

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)