Debugging and Verification - Syllabus

Week 1- Overview

Week 2 - LTL and CTL

Week 3 - CTL Model checking

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 about errors in the notes.