Slides for Deductive Verification of Reactive Systems - Pnueli

Back to free available courseware.