Stochastic Model Checking

This publication has 48 references indexed in Scilit:

• Numerical vs. statistical probabilistic model checking
  International Journal on Software Tools for Technology Transfer, 2006
• Model-checking algorithms for continuous-time markov chains
  IEEE Transactions on Software Engineering, 2003
• Stochastic modeling of a power-managed system-construction and optimization
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2001
• Model-checking continuous-time Markov chains
  ACM Transactions on Computational Logic, 2000
• Model checking for a probabilistic branching time logic with fairness
  Distributed Computing, 1998
• The complexity of probabilistic verification
  Journal of the ACM, 1995
• A logic for reasoning about time and reliability
  Formal Aspects of Computing, 1994
• Fast randomized consensus using shared memory
  Journal of Algorithms, 1990
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• A randomized protocol for signing contracts
  Communications of the ACM, 1985