Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation

This publication has 18 references indexed in Scilit:

• Markov decision processes and regular events
  Published by Springer Nature ,2005
• A data structure for the efficient Kronecker solution of GSPNs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• From Fairness to Chance
  Electronic Notes in Theoretical Computer Science, 1999
• 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
• Symbolic model checking for probabilistic processes
  Published by Springer Nature ,1997
• Algebric Decision Diagrams and Their Applications
  Formal Methods in System Design, 1997
• The complexity of probabilistic verification
  Journal of the ACM, 1995
• Model checking of probabilistic and nondeterministic systems
  Published by Springer Nature ,1995
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983