The verified software initiative
C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar · ACM Computing Surveys · 2009
research-article The verified software initiative: A manifesto Authors: C.A.R. Hoare Microsoft Research Microsoft ResearchView Profile , Jayadev Misra The University of Texas at Austin The University of Texas at AustinView Profile , Gary T. Leavens Iowa State University Iowa State UniversityView Profile , Natarajan Shankar SRI International Computer Science Laboratory SRI International Computer Science LaboratoryView Profile Authors Info & Claims ACM Computing SurveysVolume 41Issue 4October 2009 Article No.: 22pp 1–8https://doi.org/10.1145/1592434.1592439Published:09 October 2009Publication History 32citation2,005DownloadsMetricsTotal Citations32Total Downloads2,005Last 12 Months29Last 6 weeks8 Get Citation AlertsNew Citation Alert added!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.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access