Q1375924

From Wikidata
Jump to: navigation, search

Hoare logic (Q1375924)[edit]

formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs [edit]

Also known as:
  • Floyd–Hoare logic
  • Hoare rules
[edit]

Statements