Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists

This publication has 5 references indexed in Scilit:

• Input Elimination and Abstraction in Model Checking
  Published by Springer Nature ,1998
• RuleBase
  Published by Association for Computing Machinery (ACM) ,1996
• Model checking and modular verification
  ACM Transactions on Programming Languages and Systems, 1994
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986