Hoare logic is a formal system developed by Tony Hoare for rigorously reasoning about the correctness of computer programs. It was influenced by the work of Robert W. Floyd, who had created a similar system for flowcharts. The logic consists of a set of logical rules that allow for precise analysis and verification of program behavior.
University of Washington
Spring 2021
University of Washington's course develops rigorous tools to study the meaning of programs. It aims to improve formalism, proof skills, and precision in programming, while also discussing practical applications. It covers operational semantics, Hoare Logic, compiler correctness, and more.
No concepts data
+ 17 more concepts