A Survey of Automated Techniques for Formal Software Verification

By Vijay Victor D'Silva, Daniel Kroening, Georg Weissenbacher. 2008

441 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software