Corrigendum: Soundness and Completeness of an Axiom System for Program Verification
Stephen A Cook · SIAM Journal on Computing · 1981
Previous article Next article Full AccessCorrigendum: Soundness and Completeness of an Axiom System for Program VerificationStephen A. CookStephen A. Cookhttps://doi.org/10.1137/0210045PDFBibTexSections ToolsAdd to favoritesExport CitationTrack CitationsEmail SectionsAbout"Corrigendum: Soundness and Completeness of an Axiom System for Program Verification." SIAM Journal on Computing, 10(3), p. 612 Previous article Next article FiguresRelatedReferencesCited byDetails Completeness and Complexity of Reasoning about Call-by-Value in Hoare LogicACM Transactions on Programming Languages and Systems, Vol. 43, No. 4 Cross Ref A decision procedure and complete axiomatization for projection temporal logicTheoretical Computer Science, Vol. 819 Cross Ref On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics22 April 2020 Cross Ref Fifty years of Hoare's logicFormal Aspects of Computing, Vol. 31, No. 6 Cross Ref Ogre and Pythia: an invariance proof method for weak consistency modelsACM SIGPLAN Notices, Vol. 52, No. 1 Cross Ref Ogre and Pythia: an invariance proof method for weak consistency models1 January 2017 Cross Ref Program Verification: To Err is Human13 March 2016 Cross Ref Automated compositional proofs for real-time systemsTheoretical Computer Science, Vol. 376, No. 3 Cross Ref Hoare's logic for programming languages with two data typesTheoretical Computer Science, Vol. 28, No. 1-2 Cross Ref Expressiveness and the completeness of Hoare's logicJournal of Computer and System Sciences, Vol. 25, No. 3 Cross Ref Volume 10, Issue 3| 1981SIAM Journal on Computing History Published online:13 July 2006 InformationCopyright © 1981 Society for Industrial and Applied MathematicsPDF Download Article & Publication DataArticle DOI:10.1137/0210045Article page range:pp. 612-612ISSN (print):0097-5397ISSN (online):1095-7111Publisher:Society for Industrial and Applied Mathematics