| V. D'Silva D. Kroening G. Weissenbacher |
A Survey of Automated Techniques for Formal Software Verification, 2008. |
J Bhadra |
A Survey of Hybrid Techniques for Functional Verification, 2007. |
| M Prasad |
A Survey of Recent Advances in SAT-Based Formal Verification, 2005. |
| L Zhang |
The Quest for Efficient Boolean Satisfiability Solvers, 2002. |
| G Holzmann |
The Logics of Bugs, 2002. |
| C Kern, M Greenstreet |
Model Checking: A Tutorial Overview, 2001. |
| S Merz |
Formal Verification in Hardware Design: A Survey, 1999. |
| E Clarke, J Wing |
Formal Methods: State of the Art and Future Directionsn, 1996. |
| E Clarke, R Kurshan |
Computer-Aided Verification, 1996. |