A survey of recent advances in SAT-based formal verification

This publication has 89 references indexed in Scilit:

• Verifying properties using sequential ATPG [IC design]
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Experimental Analysis of Different Techniques for Bounded Model Checking
  Published by Springer Nature ,2003
• Boolean Expression Diagrams
  Information and Computation, 2002
• Qubos: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers
  Published by Springer Nature ,2002
• Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT
  Published by Springer Nature ,2002
• Property Checking via Structural Analysis
  Published by Springer Nature ,2002
• The S LAM project
  Published by Association for Computing Machinery (ACM) ,2002
• Symbolic Reachability Analysis Based on SAT-Solvers
  Published by Springer Nature ,2000
• Bounded Model Construction for Monadic Second-Order Logics
  Published by Springer Nature ,2000
• Timed Automata
  Published by Springer Nature ,1999