Hoare logic
Revision as of 02:08, 10 September 2022 by Benkoo (talk | contribs) (Benkoo moved page Hoare Logic to Hoare logic)
Hoare logic(Q1375924) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.