Numerical vs. statistical probabilistic model checking

This publication has 31 references indexed in Scilit:

• Model-checking algorithms for continuous-time markov chains
  IEEE Transactions on Software Engineering, 2003
• Model-checking continuous-time Markov chains
  ACM Transactions on Computational Logic, 2000
• Model Checking Continuous-Time Markov Chains by Transient Analysis
  Published by Springer Nature ,2000
• Reactive Modules
  Formal Methods in System Design, 1999
• A new approach combining simulation and randomization for the analysis of large continuous time Markov chains
  ACM Transactions on Modeling and Computer Simulation, 1998
• Verifying continuous time Markov chains
  Published by Springer Nature ,1996
• Algebraic decision diagrams and their applications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1993
• Spectral transforms for large boolean functions with applications to technology mapping
  Published by Association for Computing Machinery (ACM) ,1993
• Computing Poisson probabilities
  Communications of the ACM, 1988
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986