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.