Verification conditions are code
From MaRDI portal
Publication:855274
DOI10.1007/S00236-006-0029-5zbMATH Open1106.68066OpenAlexW2117210984MaRDI QIDQ855274FDOQ855274
Publication date: 5 January 2007
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://eprints.soton.ac.uk/262472/1/vcs3preprint.pdf
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Laws of programming
- Refinement Calculus
- An axiomatic basis for computer programming
- Ten Years of Hoare's Logic: A Survey—Part I
- Soundness and Completeness of an Axiom System for Program Verification
- Unification: a multidisciplinary survey
- A theoretical basis for stepwise refinement and the programming calculus
- Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
- Predicative programming Part I
- An axiomatic definition of the programming language Pascal
- Predicative methodology
- The Multiple Assignment Statement
Uses Software
This page was built for publication: Verification conditions are code
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q855274)