Abstract
The 2011 CAV (Computer-Aided Verification) Award was presented on July 17, 2011 at the 23rd annual CAV conference in Snowbird, Utah to Thomas Ball and Sriram Rajamani of Microsoft Research for their contributions to software model checking, specifically the development of the SLAM/SDV software model checker, which successfully demonstrated computer-aided verification techniques on real programs.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Vardi, M.Y., Henzinger, T.A., Alur, R. et al. 2011 CAV award announcement. Form Methods Syst Des 41, 1–2 (2012). https://doi.org/10.1007/s10703-012-0154-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10703-012-0154-4