Noun
Hoare logic (countable and uncountable, plural Hoare logics)
(computing theory) 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.
Alternative methods such as Hoare logic and uniqueness have been developed to track side effects in programs. Source: Internet