Differences

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

--- didattica:magistrale:svl:ay_1819:main [2019/05/26 22:37]
luca [News]
+++ didattica:magistrale:svl:ay_1819:main [2020/09/17 16:55] (current)
@@ Line 115: / Line 115: @@
   - 20/05/2019 - [[https://unicam.webex.com/unicam/ldr.php?RCID=757d010998a9781d6cb8845c3fb664a2|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=79a1b8e3d1ac3e7e369bd8c1af2066b6|Download the Lecture]], {{ :didattica:magistrale:svl:ay_1819:traingatetimed.xml.zip |UPPAAL Model}}
   - 22/05/2019 - [[https://unicam.webex.com/unicam/ldr.php?RCID=bf66275e77194d5a7fbf26474fb3713c|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=99f0ba434e2ae527efb097ecea23c1f0|Download the Lecture]], {{ :didattica:magistrale:svl:ay_1819:svl1819-uppaalcode-22-05-2019.zip |UPPAAL Models}}, [[http://www.prismmodelchecker.org/lectures/esslli10/esslli10pmc-part1.pdf|PRISM Slides on DTMCs]]
-  - 27/05/2019
+  - 27/05/2019 - [[https://unicam.webex.com/unicam/ldr.php?RCID=fd2024522f965a22d558e4f5e264d1c5|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=88b6f1506cef838aa5d6b7912dcf3c47|Download the Lecture]], [[http://www.prismmodelchecker.org/lectures/esslli10/esslli10pmc-part1.pdf|PRISM Slides on DTMCs]], {{ :didattica:magistrale:svl:ay_1819:die.zip |Die example in PRISM}}
-  - 29/05/2019
+  - 29/05/2019 - [[https://unicam.webex.com/unicam/ldr.php?RCID=2002b01720dd0c5a47db5c5e58078523|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=659b29de0a5729945b0e52aac477c53c|Download the Lecture]], {{ :didattica:magistrale:svl:ay_1819:herman7.zip |PRISM Code}}, [[http://www.prismmodelchecker.org/lectures/pmc/03-dtmcs.pdf|Slides Long-run Probability]], {{ :didattica:magistrale:svl:ay_1819:svl-notes-29-05-2019.pdf |Notes}}
-  - 03/06/2019
+  - 03/06/2019 - [[https://unicam.webex.com/unicam/ldr.php?RCID=8ab1c9d51279cda185dc64b5fad97ce9|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=e9720bd0c38830e0065c222d2c20a62f|Download the Lecture]], {{ :didattica:magistrale:svl:ay_1819:svl-notes-03-06-2019.pdf |Notes}}
 </WRAP>
 ----
@@ Line 197: / Line 197: @@
   * {{ :didattica:magistrale:svl:ay_1819:exsolmodelsandmodelling.pdf |Transition Systems and Modelling Languages for Reactive Systems}}
   * {{ :didattica:magistrale:svl:ay_1819:exsollineartime.pdf |Linear Time Properties}}
-  * ...
+  * {{ :didattica:magistrale:svl:ay_1819:exsolltlctl_with_exercises_from_book.pdf |Regular Properties, LTL and CTL}} - **NOTE 1:** some of the exercises on Regular Properties and on LTL require to calculate the product between the transition system and the non-Deterministic Buechi Automaton (NBA) corresponding to the formula - ignore that part and justify your answer by providing the counterexample without providing the product construction. **NOTE 2:** some of the exercises on CTL require to show the steps of the Sat algorithm for deciding the satisfaction of the formula by a state or by a transition system: ignore this request and provide, if possible, an informal justification; if not possible ignore the exercise.
 ==== Textbooks ====
@@ Line 223: / Line 222: @@
 <WRAP box round center 95%>
 **Exam Dates A.Y. 2018/2019 (Written Test Dates)**
-  - 06/02/2019, 3:00pm, Room LA1
+  - 06/02/2019, 3:00pm, Room LA1 - no students.
-  - 20/02/2019, 3:00pm, Room LA1
+  - 20/02/2019, 3:00pm, Room LA1 - no students.
-  - 13/06/2019, 3:00pm, Room TBA, please register on ESSE3 to the Partial Exam "SVL1819 Sess. III - Written Test" before 07/06/2019
+  - 13/06/2019, 3:00pm, Room AB1 - no students.
-  - 27/06/2019, 3:00pm, Room TBA, please register on ESSE3 to the Partial Exam "SVL1819 Sess. IV - Written Test" before 21/06/2019
+  - <del>27/06/2019, 3:00pm, Room TBA</del>, 28/06/2019, 11:00am, Room AB1 Polo Lodovici - {{ :didattica:magistrale:svl:ay_1819:svl1819appello1.pdf |Text}}, {{ :didattica:magistrale:svl:ay_1819:svl1819appello1solutionwithnotes.pdf |Text with Solutions}}
-  - 17/07/2019, 3:00pm, Room TBA, please register on ESSE3 to the Partial Exam "SVL1819 Sess. V - Written Test" before 12/07/2019
+  - 17/07/2019, 3:00pm, Room AB2 Polo Lodovici - {{ :didattica:magistrale:svl:ay_1819:svl1819appello2.pdf |Text}}, {{ :didattica:magistrale:svl:ay_1819:svl1819appello2withsolution.pdf |Text with Solutions}}
-  - 12/09/2019, 3:00pm, Room TBA, please register on ESSE3 to the Partial Exam "SVL1819 Sess. VI - Written Test" before 06/09/2019
+  - 12/09/2019, 3:00pm, Room AA1 Polo Lodovici - {{ :didattica:magistrale:svl:ay_1819:svl1819appello3.pdf |Text}}, {{ :didattica:magistrale:svl:ay_1819:svl1819appello3_with_solutions.pdf |Text with Solutions}}
-  - 26/09/2019, 3:00pm, Room TBA, please register on ESSE3 to the Partial Exam "SVL1819 Sess. VII - Written Test" before 20/09/2019
+  - 26/09/2019, 3:00pm, Room AA1 Polo Lodovici, please register on ESSE3 to the Partial Exam "SVL1819 Sess. VII - Written Test" before 20/09/2019
   - 24/03/2020, 3:00pm, Room TBA, please register on ESSE3 to the Partial Exam "SVL1819 Sess. VIII - Written Test" before 20/03/2020