- Spin version 6.4.6.
- Introduction to model-checking using Spin
- Spin models used in class:
- LTL model-checking.
- Some Lecture Notes on B\"uchi automata and LTL model-checking.
- Book Chapter by Madhavan Mukund on Finite-state Automata on Infinite Inputs, in Modern Applications of Automata Theory (World Scientific/IISc Press).
- Assignment 2 due on Mon 12th Feb 2018.