Home / Dictionary / Hoare logic

Hoare logic Uncommon

Definition, synonyms and related words

Definitions
Noun
1

A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.

See Also
system hoare triple computer program correctness rule formal operation reason
Related Terms
Rhyming Words
yogic ergic algic logic zigic magic argic phagic belgic tragic agogic fungic energic otalgic plaggic ellagic iraggic pelagic anergic unmagic
Compare
Hoare logic vs