Hoare logic
Sign in to saveAlso known as Floyd–Hoare logic, Hoare rules
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs
Also known as Floyd–Hoare logic, Hoare rules
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs