didattica:ay2122:englishb2:main

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
didattica:ay2122:englishb2:main [2022/03/02 12:22] – [Material] lucadidattica:ay2122:englishb2:main [2022/03/09 17:26] (current) – luca
Line 56: Line 56:
 ==== Textbooks ==== ==== Textbooks ====
  
-  * Christel Baier, Joost-Pieter Katoen, “Principles of Model Checking”, The MIT Press, 2008.+  * Christel Baier, Joost-Pieter Katoen, "Principles of Model Checking", The MIT Press, 2008. 
 +  * Gerard J. Holzmann, "The SPIN model checker: Primer and Reference Manual", Addison-Wesley Professional, 2003.
  
 **Reference books** **Reference books**
Line 86: Line 87:
     * [[https://sourceforge.net/projects/redlib/|RED Model Checker]]     * [[https://sourceforge.net/projects/redlib/|RED Model Checker]]
  
-=== Slides, Codes and Exercises ===+==== Slides, Codes and Exercises ====
  
 All this material is accessible through the **Google Classroom** platform: [[https://classroom.google.com/c/NDU5OTY0NjM2MTE2?cjc=6meqjg2]] (login with @studenti.unicam.it credentials) All this material is accessible through the **Google Classroom** platform: [[https://classroom.google.com/c/NDU5OTY0NjM2MTE2?cjc=6meqjg2]] (login with @studenti.unicam.it credentials)
Line 102: Line 103:
 **Exam Dates A.Y. 2021/2022**  **Exam Dates A.Y. 2021/2022** 
  
-Dates of Partial Exams "SVL2122 Sess. XXX - Project Delivery" and "SVL2021 Sess. XXX - Written Test" can be found in the [[https://didattica.unicam.it|ESSE3 Career System]] after login. +Dates of Partial Exams "SVL2122 Sess. XXX - Project Delivery" and "SVL2122 Sess. XXX - Written Test" can be found in the [[https://didattica.unicam.it|ESSE3 Career System]] after login. 
  
 **Exam rules** **Exam rules**
  • didattica/ay2122/englishb2/main.1646220140.txt.gz
  • Last modified: 2022/03/02 12:22
  • by luca