Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach

This publication has 23 references indexed in Scilit:

• Reactive modules
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Model Checking Continuous-Time Markov Chains by Transient Analysis
  Published by Springer Nature ,2000
• Approximative Symbolic Model Checking of Continuous-Time Markov Chains
  Published by Springer Nature ,1999
• Model checking for a probabilistic branching time logic with fairness
  Distributed Computing, 1998
• A Toolbox for Functional and Quantitative Analysis of DEDS
  Published by Springer Nature ,1998
• Symbolic model checking for probabilistic processes
  Published by Springer Nature ,1997
• Model Checking of Probabilistic and Nondeterministic Systems
  Published by Defense Technical Information Center (DTIC) ,1995
• Algebraic decision diagrams and their applications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1993
• Fast randomized consensus using shared memory
  Journal of Algorithms, 1990
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986