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

I Semester 2005-2006
Instructor: S. Arun-Kumar

Last modified: Tue Oct 25 11:45:47 2005
Roll List Course outline
Lectures Slot J
Monday12:00-12:55 VI 401
Tuesday12:00-12:55 VI 401
Wednesday12:00-12:55 VI 401
 Evaluation
Click here for the minor exam paper.

References:

  1. R. Milner: Communication and Concurrency, Prentice-Hall International 1989.
  2. S. Arun-Kumar & M. Hennessy: An Efficiency Preorder for Processes (Postscript-gzipped)
  3. S. Arun-Kumar: Formal Verification using The IITD-Concurrency Workbench (slides in pdf format)
  4. S. Arun-Kumar: Lectures on LTL (hand-written notes in pdf format)
  5. S. Arun-Kumar: Lectures on CTL and mu-calculus (hand-written notes in pdf format)
  6. S. Arun-Kumar, Neelesh Korade: Hennessy-Milner Logic (Postscript-gzipped)
  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