Lectures
Lec 21, Apr 11 - Last Lecture
Lec 20, Apr 4
Lec 19, Mar 30
Lec 17, Mar 14
Lec 16, Mar 2
Slides/Notes
Lec 15, Feb 28
Lec-14, Feb 23
Lec-13, Feb 21
Assignment 4 posted
Lec-12, Feb 16
Lec-11, Feb 14
Assignment 3 Due
Lec-10, Feb 9
Lec-9, Feb 7
Lec-8, Feb 2
Lec-7, Jan 31
Assignment 2 Due
Assignment 3 Released
Lec-6, Jan 26
Assignment 1 Grades released
Lec-5, Jan 24
Lec-4, Jan 19
Lec-3, Jan 17
"Higher confidence is achieved not only if one tests the real system systematically but also explores a scaled-down model exhaustively." (John Rushby, SRI, paraphrased)
Promela/SPIN : See
Many Tiny Promela Examples: https://drive.google.com/file/d/1MRCNW2WM1YivIbk8YKjOeNVM5v5lKUsC/view?usp=sharing
Principles of SPIN Model Checker - Mordechai Ben-Ari
Tutorial : https://spinroot.com/spin/Doc/Spin_tutorial_2004.pdf
Ben-Ari's book (basics)
My book "Computation Engineering: ..."
Lec-2, Jan 12
"Formal methods are as much about learning how to think formal as the methods themselves are incisive"
Asg-1 assigned. Here is the Colab "Jove" notebook that has a demo.
Lec-1, Jan 10
"Formal methods are the lens and the lever to better system design"
POLL
See Canvas, but the poll is here also: Part-1 of the poll is due Jan 11 https://docs.google.com/document/d/1TJ_mndKG2gZqj6qmRHbGIDocl-qLGywX3nO7IoIUkgM/edit?usp=sharing