CS766 : Analysis of concurrent programs 2022

Instructors : Ashutosh Gupta and S. Krishna

Timings : 19:00 Tuesday and Friday
Venue : Online. MSTeams, To join the course team, use team code: b7kp78n

Interaction policy

Source material

Evaluation structure

For the first-half of the course

May change later.

Lectures

Model checking : Road to CEGAR

2022-01-07 : Lecture 0/1 - Introduction to course and program semantics

2022-01-11 : Lecture 2 - strongest post(sp)

2022-01-14 : Lecture 3 - weakest pre and Hoare logic

2022-01-18 : Lecture 4 - Invariants

2022-01-21 : Lecture 5 - Abstraction

2022-02-18 Handover to Krishna (1 lecture before midterm)

Last modified: ()