Hoare logic is a formal system used to reason rigorously about the correctness of computer programs. It was proposed by Tony Hoare in 1969 and refined by him and other researchers. The ideas were seeded by Robert W. Floyd's work on flowcharts.
Stanford University
Fall 2019
This course emphasizes SAT and SMT technology and its applications, offering an understanding of theoretical foundations and how to implement a small theory solver. Applications of SAT/SMT technology in the context of verification are also covered. The advanced topics and lack of specified prerequisites suggest this is a high-level course.
No concepts data
+ 20 more concepts