Hoare logic

E100208 UNEXPLORED

Hoare logic is a formal system in computer science used to reason rigorously about the correctness of computer programs using logical assertions about program states.

Jump to: Surface forms Referenced by

Observed surface forms (2)

Surface form	Occurrences
Hoare triple	1
weakest precondition	1

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Dijkstra → notableConcept → Hoare logic ⓘ

this entity surface form: weakest precondition

Tony Hoare → notableIdea → Hoare logic ⓘ

this entity surface form: Hoare triple

Tony Hoare → notableWork → Hoare logic ⓘ