Important Info for the Online Semester
- Material will be uploaded as slides
- There will be live interaction sessions in Slot 9 via MSTeams or Webex, which are recorded. But if you are unable to join them, either due to time incompatibility or resource constraints, please inform me and we will make alternate arrangements.
- We will also set up a piazza link for asynchronous interaction and doubt clearance.
- This course will provide a foundational overview of formal methods, a broad area in the intersection of CS theory and practice.
- We will be dealing with logical reasoning about systems and programs and applications to program verification and model checking.
- Course content details and introduction are given here.
- Also see this video for a nice introduction to this area and to our group at CSE.
- See this video a recording of the introductory lecture from LAST year.
First lecture on common msteams
Prerequisites
- No hard prereqs! But soft requirement of Discrete Structures, e.g., CS207 or equivalent. Basic automata theory knowledge is desirable.
Reference Material
- Logic in Computer Science. Michael Huth and Mark Ryan, Cambridge Press, Second Edition. Indian Edition available.
- Principles of Model Checking. Christel Baier, Joost P.Katoen, MIT Press, Official online copy available.
More lecture notes, tutorial links will be provided later.