DictionaryAI

Hoare logic

Short definition from Wiktionary

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.

We haven’t written up Hoare logic yet: Simple and Standard meanings, examples and a quiz.