Higher-level specification and verification with BDDs

This publication has 8 references indexed in Scilit:

• Algorithms for discrete function manipulation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal verification of cache systems using refinement relations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• Functional extension of symbolic model checking
  Published by Springer Nature ,1992
• Efficient implementation of a BDD package
  Published by Association for Computing Machinery (ACM) ,1990
• Verification of synchronous sequential machines based on symbolic execution
  Published by Springer Nature ,1990
• Sequential circuit verification using symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1990
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986