Debugging and Verification - Syllabus
Week 1- Overview
Week 2 - LTL and CTL
Week 3 - CTL Model checking
Taski Fixed Point Theorem - J Misra
Temporal and Modal Logics - A Emerson
A link to the ebook (ut id required)
Please inform me at email@example.com about errors in the notes.