Difference between revisions of "Hoare logic"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
{{WikiEntry|key={{PAGENAME}}|qCode=1375924}} is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. The key idea is that this logic enables rule [[composition]] that can capture errors at the primitive level. | {{WikiEntry|key={{PAGENAME}}|qCode=1375924}} is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. The key idea is that this logic enables rule [[composition]] that can capture errors at the primitive level. | ||
{{PagePostfix | |||
|category_csd=Correctness | |||
}} | |||
Latest revision as of 02:14, 10 September 2022
Hoare logic(Q1375924) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. The key idea is that this logic enables rule composition that can capture errors at the primitive level.
References