Symbolic and Parametric Model Checking of Discrete-Time Markov Chains
Author:
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 280-294
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Cost-optimization of the IPv4 zeroconf protocol2004
- Reduction and Refinement Strategies for Probabilistic Analysis2002
- The complexity of probabilistic verificationJournal of the ACM, 1995
- Model checking of probabilistic and nondeterministic systems1995
- It usually works: The temporal logic of stochastic systems1995
- A logic for reasoning about time and reliabilityFormal Aspects of Computing, 1994
- Process Algebra with Iteration and NestingThe Computer Journal, 1994
- HOL: A Proof Generating System for Higher-Order Logic1988
- Rational Series and Their Languages1988
- Derivatives of Regular ExpressionsJournal of the ACM, 1964