Checking relational specifications with binary decision diagrams

This publication has 9 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Elements of style
  Published by Association for Computing Machinery (ACM) ,1996
• Faster checking of software specifications by eliminating isomorphs
  Published by Association for Computing Machinery (ACM) ,1996
• Model checking software systems
  Published by Association for Computing Machinery (ACM) ,1995
• Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
  IEEE Transactions on Software Engineering, 1995
• State-based model checking of event-driven system requirements
  IEEE Transactions on Software Engineering, 1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• A practical decision method for propositional dynamic logic (Preliminary Report)
  Published by Association for Computing Machinery (ACM) ,1978