This is a preview of subscription content, log in via an institution to check access.
Author information
Consortia
Additional information
The CAV Steering Committee: Edmund M. Clarke, Jr. (Carnegie Mellon University), Michael J.C. Gordon (University of Cambridge), Robert P. Kurshan (Cadence Design Systems), and Amir Pnueli (New York University).
Rights and permissions
About this article
Cite this article
The CAV Steering Committee. The CAV award. Form Methods Syst Des 35, 2–3 (2009). https://doi.org/10.1007/s10703-009-0071-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10703-009-0071-3