CS615 : Formal Specification and Verification of Programs 2019

Instructor : Ashutosh Gupta

Timings : 15:30 Tuesday and Friday
Venue : CC105

Source material

Evaluation structure

May change later.

Lectures

The following lecture schedule is tentative

Programs

2019-07-30 : Lecture 1 - Introduction to verification

2019-08-09 : Lecture 2 - Strongest post

2019-08-13 : Lecture 3 - Weakest pre and Hoare logic

2019-08-16 : Lecture 4 - Labeled transition systems and invariants

Engineering Verification tools

2019-08-20 : Lecture 5 - Intermediate representation

2019-08-23 : Lecture 6 - Solvers