An Assessment of Techniques for Proving Program Correctness

article Free Access Share on An Assessment of Techniques for Proving Program Correctness Authors: Bernard Elspas Information Science Laboratory, Stanford Research Institute, Menlo Park, California Information Science Laboratory, Stanford Research Institute, Menlo Park, CaliforniaView Profile , Karl N. Levitt Information Science Laboratory, Stanford Research Institute, Menlo Park, California Information Science Laboratory, Stanford Research Institute, Menlo Park, CaliforniaView Profile , Richard J. Waldinger Information Science Laboratory, Stanford Research Institute, Menlo Park, California Information Science Laboratory, Stanford Research Institute, Menlo Park, CaliforniaView Profile , Abraham Waksman Information Science Laboratory, Stanford Research Institute, Menlo Park, California Information Science Laboratory, Stanford Research Institute, Menlo Park, CaliforniaView Profile Authors Info & Claims ACM Computing SurveysVolume 4Issue 2June 1972 pp 97–147https://doi.org/10.1145/356599.356602Published:01 June 1972Publication History 114citation1,350DownloadsMetricsTotal Citations114Total Downloads1,350Last 12 Months51Last 6 weeks14 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 Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF