Debugging and Verification - Syllabus

Week 1- Overview

Week 2 - LTL and CTL

Week 3 - CTL Model checking

Assignments
Assignment 1


Suggested Readings
Taski Fixed Point Theorem - J Misra

Temporal and Modal Logics - A Emerson


A link to the ebook (ut id required)

Please inform me at draju@cs.utexas.edu about errors in the notes.