scrambled
scrambled
Concept

Hoare logic

Modified just now
Books JourneyProgramming Language Theory Statuslearning

A formal system for reasoning about program correctness using triples {P} C {Q} (precondition, command, postcondition) to specify and verify imperative programs.

A Formal system for reasoning about program correctness using triples \{P\} C \{Q\} (precondition, command, postcondition) to specify and verify imperative programs.