C.A.R. Hoare
Gary T. Leavens
Index Terms
The verified software initiative: A manifesto
research-article
The verified software initiative: A manifesto
ACM Computing SurveysVolume 41Issue 4October 2009 Article No.: 22pp 1–8https://doi.org/10.1145/1592434.1592439
- Get Citation Alerts
This alert has been successfully added and will be sent to:
You will be notified whenever a record that you have chosen has been cited.
Please log in to your account
- Save to Binder
- Export Citation
- Publisher Site
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
Published in
Copyright © 2009 ACM
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
- Online: 9 October 2009
- Published: 9 October 2009
Permissions
Request permissions about this article.
Request PermissionsQualifiers
- research-article
- Research
- Refereed
Article Metrics
- View Citations32Total Citations
- 1,970Total Downloads
- Downloads (Last 12 months)22
- Downloads (Last 6 weeks)4
Other Metrics
Comments