Ground temporal logic: A logic for hardware verification

This publication has 12 references indexed in Scilit:

• Automatic verification of pipelined microprocessor control
  Published by Springer Nature ,1994
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• PVS: A prototype verification system
  Lecture Notes in Computer Science, 1992
• Representing circuits more efficiently in symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1991
• Formal hardware verification by symbolic ternary trajectory evaluation
  Published by Association for Computing Machinery (ACM) ,1991
• Formal verification of a pipelined microprocessor
  IEEE Software, 1990
• Half-order modal logic: how to prove real-time properties
  Published by Association for Computing Machinery (ACM) ,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
• Simplification by Cooperating Decision Procedures
  ACM Transactions on Programming Languages and Systems, 1979