SAT Based Predicate Abstraction for Hardware Verification

This publication has 15 references indexed in Scilit:

• Design and synthesis of synchronization skeletons using branching time temporal logic
  Published by Springer Nature ,2005
• Counterexamples Revisited: Principles, Algorithms, Applications
  Published by Springer Nature ,2003
• High level verification of control intensive systems using predicate abstraction
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Successive approximation of abstract transition relations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis
  Published by Springer Nature ,2002
• Automatic predicate abstraction of C programs
  Published by Association for Computing Machinery (ACM) ,2001
• Progress on the State Explosion Problem in Model Checking
  Published by Springer Nature ,2001
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• NuSMV: A New Symbolic Model Verifier
  Lecture Notes in Computer Science, 1999
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992