Difference between revisions of "Hoare logic"
Jump to navigation
Jump to search
(Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=1375924}} is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.") |
|||
| (2 intermediate revisions by the same user not shown) | |||
| 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. | {{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