HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › Hoare logic
← Back to search

Meaning of Hoare logic | Babel Free

Noun CEFR B2

Definitions

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

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
See all B2 English words →

See also

Hoare triple Hoarfrost hoarhead Hoarier Hoariest Hoariness

Learn this word in context

See Hoare logic used in real conversations inside our free language course.

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free