Formal Systems (CS60030) Spring 2020
Taught by: Prof. Pallab Dasgupta Teaching Assistant: Briti Gangopadhyay (briti_gangopadhyay [at] iitkgp [dot] ac [dot] in) Sayandeep Sanyal (sayandeep.sanyal [at] gmail [dot] com ) Class Timing: Monday: 12:00 -12:55 Tuesday: 10:00 -11:55 Thursday: 08:00 -08:55

Course Material

Lecture Date	Topic	Slide (PDF)	Remarks
06/01/2020	Formal Methods - An Introduction	[Lec #1]
07/01/2020	Succinct Representations (BDDs and SAT).	[Lec #2]
14/01/2020	Hands-On: SAT and BDDs	[Hands-On / Tut #1]
16/01/2020	Symbolic Reachability	[Lec #3]
23/01/2020	Specification Formalisms	[Lec #4]
30/01/2020	Tutorials on LTL and CTL	[Tut #2]	Solutions. Please email the TAs for any corrections.
27/01/2020	Omega Regular Languages and Büchi Automata	[Lec #5]
03/02/2020	Model Checking	[Lec #6]
05/02/2020	Class Test 1	[CT #1]	Solutions. Please email the TAs for any corrections.
10/02/2020	Tutorials on Omega Regular Languages and NBA	[Tut #3]
11/02/2020	Hands-On: NuSMV	[Hands-On #2]
02/03/2020	Scalability in Model Checking	[Lec #7]
05/03/2020	Program Verification	[Lec #8]
12/03/2020	Tutorials on Program Verification	[Tut #4]
16/03/2020	Hands-On: CBMC	[Hands-On #3]
17/03/2020	Timed Automata	[Lec #9]
31/03/2020	Tutorials on Timed Automata	[Tut #5]
20/04/2020	Hybrid Automata	[Lec #10]
04/05/2020	Formal Methods for Safe RL	[Lec #11]