Using MTBDDs for discrete timed symbolic model checking

This publication has 6 references indexed in Scilit:

• Symbolic model checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Verification tools for finite-state concurrent systems
  Published by Springer Nature ,1994
• Sources of unbounded priority inversions in real-time systems and a comparative study of possible solutions
  ACM SIGOPS Operating Systems Review, 1992
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986