Special Issue of Computing Surveys (eds. C.A.R. Hoare and J. Misra)

Ranjit Jhala and Rupak Majumdar, Draft May 6, 2009: Software Model Checking.
A list of changes from various previous versions.

Natarajan Shankar, Draft revised June 14th, 2009: Automated Deduction for Verification.
A list of changes from various previous versions.

J.C.P. Woodcock, P.G. Larsen, J.C. Bicarregui, and J.S. Fitzerald, Draft revised March 27, 2009: Formal Methods: Practice and Experience