Model Checking Continuous-Time Markov Chains by Transient Analysis
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 358-372
- https://doi.org/10.1007/10722167_28
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Automated compositional Markov chain generation for a plain-old telephone systemScience of Computer Programming, 2000
- A Markov Chain Model CheckerPublished by Springer Nature ,2000
- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based ImplementationPublished by Springer Nature ,1999
- Probabilistic evaluation for the analytical solution of large Markov models: Algorithms and tool supportMicroelectronics Reliability, 1996
- Performability modelling tools and techniquesPerformance Evaluation, 1996
- A logic for reasoning about time and reliabilityFormal Aspects of Computing, 1994
- Exact and ordinary lumpability in finite Markov chainsJournal of Applied Probability, 1994
- Bisimulation through probabilistic testingInformation and Computation, 1991
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988
- Computing Poisson probabilitiesCommunications of the ACM, 1988