Prof. Necula CS 294-8 Lecture 91 Theorem Proving CS 294-8 Lecture 9.
Program Analysis and Verification 0368-4479 Noam Rinetzky Lecture 3: Axiomatic Semantics 1 Slides credit: Roman Manevich, Mooly Sagiv, Eran Yahav.
From Program Verification to Program Synthesis