CS766 : Analysis of concurrent programs 2021

Instructors : Ashutosh Gupta and S. Krishna

Timings : 17:30 Tuesday and Friday
Venue : MSTeams, To join the course team, use team code: s1kvq03

Interaction policy

Source material

Evaluation structure

For the first-half of the course

May change later.

Lectures

Model checking : Road to CEGAR

2021-01-08/12 : Lecture 1 - Introduction to course and program semantics

2021-01-15 : Lecture 2 - strongest post

Last modified: ()