Model checking of probabilistic and nondeterministic systems

This publication has 15 references indexed in Scilit:

• It usually works: The temporal logic of stochastic systems
  Published by Springer Nature ,1995
• A logic for reasoning about time and reliability
  Formal Aspects of Computing, 1994
• Probabilistic Verification
  Information and Computation, 1993
• Verifying automata specifications of probabilistic real-time systems
  Published by Springer Nature ,1992
• Modalities for model checking (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1985
• The glory of the past
  Published by Springer Nature ,1985
• Deciding branching time logic
  Published by Association for Computing Machinery (ACM) ,1984
• On the extremely fair treatment of probabilistic algorithms
  Published by Association for Computing Machinery (ACM) ,1983
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983
• Reasoning with time and chance
  Information and Control, 1982