Lectures
| Topic | Date(s) | References/Additional Reading |
|---|---|---|
| Introduction | 18/1 | Hoare’s Paper. Intro Slides of Rajeev Alur’s Course on Computer Aided Verification |
| Propositional Logic | 19/1,20/1,21/1,27/1 | BM Chapter 1 |
| First Order Logic | 28/1,1/2 | BM Chapter 2 |
| Satisfiability Modulo Theories | 2/2,3/2,4/2,8/2 | BM Chapter 3 |
| SMT:Application to BMC + Z3 | 9/2 | |
| Operational Semantics and Verification | 10/2,11/2,16/2,17/2 | |
| Strongest Post Condition | 17/2,18/2,22/2,23/2 | |
| Weakest Pre Condition | 24/2,25/2,1/3 | |
| Hoare Logic | 2/3,3/3,4/3,9/3,10/3,15/3 | |
| Dafny | ||
| Abstract Interpretation: Soundness | 16/3,17/3,22/3,23/3,24/3,25/3,29/3,30/3,1/4 | |
| Abstract Interpretation: Kildall’s Algorithm | 5/4,6/4,7/4,8/4,12/4,13/4,19/4 | |
| Model Checking | 19/4,20/4,21/4,22/4 | Software Model Checking Survey Paper |
Video Lectures
Link to Google Drive Folder containing all videos: APV-Jan-2022 Lectures Lectures upto 28/1 are available on the above link; rest of the lecture recordings will be directly shared through e-mail.