CSL750: Foundations of Automatic Verification (3-0-2-4)

II Semester 2009-2010
Instructor: S. Arun-Kumar

Last modified: Mon Mar 29 12:43:33 IST 2010
Roll List Important Notes Course outline
There will be no class on Mon 29 Mar 2010. This class will instead be taken on Thursday 16:30

Lectures Slot M
Monday17:00-18:20 IIA 204
Thursday16:30-17:50 IIA 204
Evaluation
Assignments20%
Scribery20%
Minor Exam25%
Major Exam35%

References:

  1. S. Arun-Kumar: Handwritten notes of FOAV 2010.
  2. Baier C, Katoen J-P.: Principles of Model Checking, MIT Press 2008.
  3. R. Milner: Communication and Concurrency, Prentice-Hall International 1989.
  4. S. Arun-Kumar: Formal Verification using The IITD-Concurrency Workbench (slides in pdf format)
  5. S. Arun-Kumar: Lectures on LTL (hand-written notes in pdf format)
  6. S. Arun-Kumar: Lectures on CTL and mu-calculus (hand-written notes in pdf format)
  7. Marco Pistore: Nu-SMV: Model-checking : Lecture 1 (pdf-slides)
  8. Marco Roveri: Nu-SMV: Model-checking :Lecture 2 (pdf-slides)
  9. H.R. Andersen: An Introduction to Binary Decision Diagrams(Postscript-gzipped)

S. Arun-Kumar

Amusement Park