What does "hoare logic" mean?

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.

Hoare logic

Q: What is a synonym for "hoare logic"?

Common synonyms include: axiomatic framework, axiomatic system, formal logic, formal methods, program verification logic.

noun

noun ·Rare ·Advanced level

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. countable, uncountable

Synonyms

All synonyms

axiomatic framework axiomatic system formal logic formal methods program verification logic

Antonyms

All antonyms

ad hoc reasoning informal reasoning

Etymology

Proposed in 1969 by the British computer scientist and logician Tony Hoare.

Next best steps

Browse writing guides Explore topic clusters