Slides for Verification of Reactive Systems - Pnueli

Back to free available courseware.