Documentations

1. Old exams:
   1. exam-1 2016/17 [solution]   |   exam-2 2016/17 [solution]
   2. exam-1 2017/18   |   exam-2 2017/18 [solution]
   3. exam-1 2019/20 [with some solutions] | (some of) exam-2 2019/20 [some solutions]

2. Lecture notes and books:
   • Lecture Notes on Program Verification, by Wishnu Prasetya.
   • For 2019 - 2020 runs: Lecture Notes on Automated Reasoning, by Gerard Vreeswijk. For more background on SMT-based theorem provers, see de Moura - Bjorner Satisfiability modulo theories: introduction and applications.
   • For the 2021, 2022, 2023 runs: Chapter 10 on probabilistic model checking of Principles of Model Checking, by Baier, Katoen, et. al. MIT Press, 2008. Look it up in Google Scholar.

3. Spin documentation can be found in the SPIN's Online References. You can find:

   • A getting started document
   • A basic manual
   • A concise reference about Promela (Spin's input language)

   There are also tutorials, and a complete Promela reference (syntax and semantics) available in SPIN homepage.

4. Papers for your Project's related work section: listed here.