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.") |
m (Benkoo moved page Hoare Logic to Hoare logic) |
(No difference)
| |
Revision as of 02:08, 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.