Difference between revisions of "Hoare logic"
Jump to navigation
Jump to search
m (Benkoo moved page Hoare Logic to Hoare logic) |
|||
| 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. | ||
Revision as of 02:09, 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.