Hoare logic (Q1375924)

From Wikidata
Jump to: navigation, search
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs
  • Floyd–Hoare logic
  • Hoare rules
edit
Language Label Description Also known as
English
Hoare logic
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs
  • Floyd–Hoare logic
  • Hoare rules

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit