Approximative Symbolic Model Checking of Continuous-Time Markov Chains

This publication has 22 references indexed in Scilit:

• Automated compositional Markov chain generation for a plain-old telephone system
  Science of Computer Programming, 2000
• Model checking for a probabilistic branching time logic with fairness
  Distributed Computing, 1998
• Polytime model checking for timed probabilistic computation tree logic
  Acta Informatica, 1998
• Model checking large software specifications
  IEEE Transactions on Software Engineering, 1998
• Symbolic model checking for probabilistic processes
  Published by Springer Nature ,1997
• Markovian analysis of large finite state machines
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996
• The complexity of probabilistic verification
  Journal of the ACM, 1995
• A logic for reasoning about time and reliability
  Formal Aspects of Computing, 1994
• Probabilistic Verification
  Information and Computation, 1993
• Composite performance and dependability analysis
  Performance Evaluation, 1992