About this document
Hoare Logic and Program Verification by Qomorudeen Mustopha is a document available to read on EtoBox.
Hoare logic is a method for proving properties of programs using proof rules called Hoare triples. A Hoare triple consists of a precondition, a program statement, and a postcondition. Hoare triples can be used to specify and reason about the behavior of programs. The weakest precondition and strongest postcondition are useful concepts when working with Hoare triples. Loops require identifying an invariant condition that is maintained throughout loop iterations.
- Author
- Qomorudeen Mustopha
- Language
- EN