Symbolic model checking for probabilistic processes

This publication has 26 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Polynomial time algorithms for testing probabilistic bisimulation and simulation
  Published by Springer Nature ,1996
• Multi-Terminal Binary Decision Diagrams and Hybrid Decision Diagrams
  Published by Springer Nature ,1996
• The complexity of probabilistic verification
  Journal of the ACM, 1995
• Verus
  ACM SIGPLAN Notices, 1995
• Model Checking of Probabilistic and Nondeterministic Systems
  Published by Defense Technical Information Center (DTIC) ,1995
• Spectral transforms for large boolean functions with applications to technology mapping
  Published by Association for Computing Machinery (ACM) ,1993
• Verifying temporal properties of finite-state probabilistic programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983