Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
didattica:magistrale:svl:ay_2021:main [2020/09/17 17:01] 127.0.0.1 external edit |
didattica:magistrale:svl:ay_2021:main [2021/06/10 10:26] (current) luca [Exams] |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| <WRAP center round info 95%> | <WRAP center round info 95%> | ||
| - | * The page of the same course held in Academic Year **2018/2019** can be found at this [[http://didattica.cs.unicam.it/doku.php?id=didattica:magistrale:svl:ay_1819:main|link]]. | + | * The page of the same course held in Academic Year **2019/2020** can be found at this [[http://didattica.cs.unicam.it/doku.php?id=didattica:magistrale:svl:ay_1920:main|link]]. |
| </WRAP> | </WRAP> | ||
| <WRAP center round important 95%> | <WRAP center round important 95%> | ||
| - | * <wrap em>**24/09/2019**</wrap>: The course page is online. | + | * <wrap em>**28/09/2020**</wrap>: The course page is online. The course will be held in the second semester (from 1st March 2021). |
| - | * <wrap em>**02/03/2020**</wrap>: The course officially starts on **Monday 9th March 2020 at 2pm, Room TeamLab**. | + | |
| - | * <wrap em>**08/03/2020**</wrap>: The course officially starts on **Monday 9th March 2020 at 2pm, but it will be transmitted only in streaming at the link [[https://unicam.webex.com/meet/luca.tesei]] until, at the moment, the 3rd of April 2020. The timetable is the one specified (Mon 2pm-4pm and Wed 9am-11am). All the lectures will be recorded and made available from the Google Classroom platform, course code 2zjhwud. To join the course, access Google Classroom with the Unicam credentials (@studenti.unicam.it) and subscribe to the course with code: 2zjhwud**. | + | |
| </WRAP> | </WRAP> | ||
| Line 19: | Line 17: | ||
| **ESSE3 Link** | **ESSE3 Link** | ||
| - | * [[https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2019*N0*N0*S2*15668*9988&ANNO_ACCADEMICO=2019&mostra_percorsi=S|Systems Verification Lab - AY 2019/2020]] | + | * [[https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2020*N0*N0*S2*16797*9988&ANNO_ACCADEMICO=2020&mostra_percorsi=N|Systems Verification Lab - AY 2020/2021]] |
| **Lectures schedule**: | **Lectures schedule**: | ||
| - | * Monday 2pm-4pm, Wednesday 9am-11am | + | * From March 3rd 2021 - Wednesdays from 2.00pm to 4.00pm - Fridays from 11.00am to 1.00pm |
| **Recording of Lectures and other material**: | **Recording of Lectures and other material**: | ||
| - | * The links to the recordings of lectures together with other material (besides the slides given in section Material below) will be given through the Google Classroom platform. To join the course, access Google Classroom with the Unicam credentials (@studenti.unicam.it) and subscribe to the course with code: **2zjhwud** | + | * The recordings and other material will be given on the **Google Classroom** platform: [[https://classroom.google.com/c/MjkxNDU4MTYwNjA5?cjc=557nyk5]] (login with @studenti.unicam.it credentials) |
| **Webex Room for Lecture Streaming** | **Webex Room for Lecture Streaming** | ||
| Line 31: | Line 29: | ||
| **Office hours**: | **Office hours**: | ||
| - | * Luca Tesei's office hours are specified [[http://docenti.unicam.it/pdett.aspx?ids=N&tv=d&UteId=572&ru=RU|here]], look at the notices for any variation. The place is Luca Tesei's office, 1st floor, Polo Lodovici, via Madonna delle Carceri 9, Camerino. | + | * Take an appointment with the teacher via email. Office hours can be online (webex) or in presence. |
| **Acronym**: | **Acronym**: | ||
| - | * The course official acronym is **SVL1920** | + | * The course official acronym is **SVL2021** |
| </WRAP> | </WRAP> | ||
| ---- | ---- | ||
| Line 40: | Line 38: | ||
| <WRAP box round 95% center> | <WRAP box round 95% center> | ||
| - | See [[https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2019*N0*N0*S2*15668*9988&ANNO_ACCADEMICO=2019&mostra_percorsi=S|ESSE3 link]]. | + | See [[https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2020*N0*N0*S2*16797*9988&ANNO_ACCADEMICO=2020&mostra_percorsi=N|ESSE3 link]]. |
| </WRAP> | </WRAP> | ||
| Line 48: | Line 46: | ||
| <WRAP round 95% center box> | <WRAP round 95% center box> | ||
| - | See [[https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2019*N0*N0*S2*15668*9988&ANNO_ACCADEMICO=2019&mostra_percorsi=S|ESSE3 link]]. | + | See [[https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2020*N0*N0*S2*16797*9988&ANNO_ACCADEMICO=2020&mostra_percorsi=N|ESSE3 link]]. |
| </WRAP> | </WRAP> | ||
| ---- | ---- | ||
| ===== Lectures ===== | ===== Lectures ===== | ||
| - | <WRAP round 95% center box> | ||
| - | The links to the recordings of lectures together with other material (besides the slides given in section Material below) will be given through the Google Classroom platform. To join the course, access Google Classroom with the Unicam credentials (@studenti.unicam.it) and subscribe to the course with code: **2zjhwud** | ||
| - | </WRAP> | ||
| - | * The following links are just for the first lectures. All links will be provided inside the Google Classroom platform. Please, register to the Google Classroom course using your unicam credentials as soon as possible. | + | * The recordings and other material will be given on the **Google Classroom** platform: [[https://classroom.google.com/c/MjkxNDU4MTYwNjA5?cjc=557nyk5]] (login with @studenti.unicam.it credentials) |
| - | - Lecture of 09/03/2020 [[https://unicam.webex.com/unicam/ldr.php?RCID=6e79c664e808425dbb0a0d84d86d5b1a|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=e85388cbee6b41adb3d3042da6450701|Download the Lecture]] | ||
| - | - Lecture of 11/03/2020 [[https://unicam.webex.com/unicam/ldr.php?RCID=ea94c00b35024a018ba2d4e423ebe3f8|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=f6dadd53d69f4615b151f918d6c2a016|Download the Lecture]], {{ :didattica:magistrale:svl:ay_2021:svl1920-11-03-2020-uppaal-code.zip |UPPAAL Code}} | ||
| - | - the subsequent lectures are available only by accessing to the Google Classroom course (see instructions above) | ||
| ---- | ---- | ||
| ===== Material ===== | ===== Material ===== | ||
| Line 68: | Line 60: | ||
| ==== Verification Tools ==== | ==== Verification Tools ==== | ||
| * [[http://spinroot.com/spin/whatispin.html| SPIN Model Checker]] | * [[http://spinroot.com/spin/whatispin.html| SPIN Model Checker]] | ||
| + | * [[https://spinroot.com/spin/Doc/SpinTutorial.pdf| Spin Tutorial]] | ||
| * [[http://didawiki.cli.di.unipi.it/lib/exe/fetch.php/magistraleinformatica/mvs/mvs-spin-01.pdf|Introduction to SPIN]] | * [[http://didawiki.cli.di.unipi.it/lib/exe/fetch.php/magistraleinformatica/mvs/mvs-spin-01.pdf|Introduction to SPIN]] | ||
| * [[http://didawiki.cli.di.unipi.it/lib/exe/fetch.php/magistraleinformatica/mvs/mvs-spin-02.pdf|PROMELA 1]] | * [[http://didawiki.cli.di.unipi.it/lib/exe/fetch.php/magistraleinformatica/mvs/mvs-spin-02.pdf|PROMELA 1]] | ||
| Line 85: | Line 78: | ||
| * [[http://www.uppaal.org/| UPPAAL Model Checker]] | * [[http://www.uppaal.org/| UPPAAL Model Checker]] | ||
| * [[http://www.prismmodelchecker.org/| PRISM Model Checker]] | * [[http://www.prismmodelchecker.org/| PRISM Model Checker]] | ||
| + | * Other Model Checkers for Timed CTL: | ||
| + | * [[https://www-verimag.imag.fr/DIST-TOOLS/TEMPO/kronos/index-english.html|KRONOS Model Checker]] | ||
| + | * [[https://sourceforge.net/projects/redlib/|RED Model Checker]] | ||
| ==== Reactive Systems ==== | ==== Reactive Systems ==== | ||
| **Transition Systems and Modelling Languages for Reactive Systems** | **Transition Systems and Modelling Languages for Reactive Systems** | ||
| - | * {{ :didattica:magistrale:svl:ay_2021:1_-_introduction_to_model_checking.pdf | Introduction to Model Checking}} | + | * {{ :didattica:magistrale:svl:ay_1920:1_-_introduction_to_model_checking.pdf | Introduction to Model Checking}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:2_-_transition_systems.pdf |Transition Systems}} | + | * {{ :didattica:magistrale:svl:ay_1920:2_-_transition_systems.pdf |Transition Systems}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:3_-_modelling_hardware_circuits.pdf |Modelling Hardware Circuits}} | + | * {{ :didattica:magistrale:svl:ay_1920:3_-_modelling_hardware_circuits.pdf |Modelling Hardware Circuits}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:4_-_program._graphs.pdf |Program Graphs}} | + | * {{ :didattica:magistrale:svl:ay_1920:4_-_program._graphs.pdf |Program Graphs}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:5_-_guarded_commands_language.pdf |Guarded Command Languages}}, [[https://link.springer.com/chapter/10.1007/978-1-4612-6315-9_14|Original Dijkstra's paper]] | + | * {{ :didattica:magistrale:svl:ay_1920:5_-_guarded_commands_language.pdf |Guarded Command Languages}}, [[https://link.springer.com/chapter/10.1007/978-1-4612-6315-9_14|Original Dijkstra's paper]] |
| - | * {{ :didattica:magistrale:svl:ay_2021:6_-_parallelism._interleaving_for_ts.pdf |Parallelism: Interleaving for Transition Systems}} | + | * {{ :didattica:magistrale:svl:ay_1920:6_-_parallelism._interleaving_for_ts.pdf |Parallelism: Interleaving for Transition Systems}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:7_-_parallelism._interleaving_for_program_graphs.pdf |Parallelism: Interleaving for Program Graphs}} | + | * {{ :didattica:magistrale:svl:ay_1920:7_-_parallelism._interleaving_for_program_graphs.pdf |Parallelism: Interleaving for Program Graphs}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:8_-_parallelism_and_communication._synchronous_message_passing.pdf |Parallelism and Communication: Synchronous Message Passing}} | + | * {{ :didattica:magistrale:svl:ay_1920:8_-_parallelism_and_communication._synchronous_message_passing.pdf |Parallelism and Communication: Synchronous Message Passing}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:9_-_parallelism_and_communication._channel_systems.pdf |Parallelism and Communication: Channel Systems}} | + | * {{ :didattica:magistrale:svl:ay_1920:9_-_parallelism_and_communication._channel_systems.pdf |Parallelism and Communication: Channel Systems}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:10_-_parallelism_and_communication._synchronous_product.pdf |Parallelism and Communication: Synchronous Product}} | + | * {{ :didattica:magistrale:svl:ay_1920:10_-_parallelism_and_communication._synchronous_product.pdf |Parallelism and Communication: Synchronous Product}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:11_-_nanopromela_semantics.pdf |Structural Operational Semantics of NanoPROMELA}} | + | * {{ :didattica:magistrale:svl:ay_1920:11_-_nanopromela_semantics.pdf |Structural Operational Semantics of NanoPROMELA}} |
| **Linear Time Properties** | **Linear Time Properties** | ||
| - | * {{ :didattica:magistrale:svl:ay_2021:1_-_linear_time_properties._introduction.pdf |Introduction to Linear Time Properties}} | + | * {{ :didattica:magistrale:svl:ay_1920:1_-_linear_time_properties._introduction.pdf |Introduction to Linear Time Properties}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:2_-_linear_time_properties._definition_and_satisfaction._trace_equivalence.pdf |Definition and Satisfaction, Trace Equivalence}} | + | * {{ :didattica:magistrale:svl:ay_1920:2_-_linear_time_properties._definition_and_satisfaction._trace_equivalence.pdf |Definition and Satisfaction, Trace Equivalence}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:3_-_linear_time_properties._invariants_and_invariant_checking.pdf |Invariants and Invariant Checking}} | + | * {{ :didattica:magistrale:svl:ay_1920:3_-_linear_time_properties._invariants_and_invariant_checking.pdf |Invariants and Invariant Checking}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:4_-_linear_time_properties._safety_properties._bad_prefixes_and_prefix_closure.pdf |Safety Properties}} | + | * {{ :didattica:magistrale:svl:ay_1920:4_-_linear_time_properties._safety_properties._bad_prefixes_and_prefix_closure.pdf |Safety Properties}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:5_-_linear_time_properties._liveness_properties.pdf |Liveness Properties}} | + | * {{ :didattica:magistrale:svl:ay_1920:5_-_linear_time_properties._liveness_properties.pdf |Liveness Properties}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:6_-_linear_time_properties._decomposition_theorem.pdf |Decomposition Theorem}} | + | * {{ :didattica:magistrale:svl:ay_1920:6_-_linear_time_properties._decomposition_theorem.pdf |Decomposition Theorem}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:linear_time_properties._regular_safety_properties.pdf |Regular Safety Properties}} | + | * {{ :didattica:magistrale:svl:ay_1920:linear_time_properties._regular_safety_properties.pdf |Regular Safety Properties}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:7_-_linear_time_properties._fairness.pdf |Fairness}} | + | * {{ :didattica:magistrale:svl:ay_1920:7_-_linear_time_properties._fairness.pdf |Fairness}} |
| **Linear Time Logic (LTL)** | **Linear Time Logic (LTL)** | ||
| - | * {{ :didattica:magistrale:svl:ay_2021:1_-_ltl_syntax_and_semantics.pdf |Syntax and Semantics of LTL}} | + | * {{ :didattica:magistrale:svl:ay_1920:1_-_ltl_syntax_and_semantics.pdf |Syntax and Semantics of LTL}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:2_-_ltl_equivalences_and_laws.pdf |Equivalences and Laws of LTL}} | + | * {{ :didattica:magistrale:svl:ay_1920:2_-_ltl_equivalences_and_laws.pdf |Equivalences and Laws of LTL}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:3_-_ltl_expressing_fairness.pdf |Expressing Fairness in LTL}} | + | * {{ :didattica:magistrale:svl:ay_1920:3_-_ltl_expressing_fairness.pdf |Expressing Fairness in LTL}} |
| + | * {{ :didattica:magistrale:svl:ay_2021:4-5_soft_-_ltl_general_picture_of_automata-based_model_checking.pdf | General picture of LTL model checking}} | ||
| **Computation Tree Logic (CTL)** | **Computation Tree Logic (CTL)** | ||
| - | * {{ :didattica:magistrale:svl:ay_2021:1_-_ctl_syntax_semantics_equivalences_and_normal_forms.pdf |Syntax, Semantics, Equivalences and Normal Forms of CTL}} | + | * {{ :didattica:magistrale:svl:ay_1920:1_-_ctl_syntax_semantics_equivalences_and_normal_forms.pdf |Syntax, Semantics, Equivalences and Normal Forms of CTL}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:2_-_ctl_vs_ltl.pdf |CTL versus LTL}} | + | * {{ :didattica:magistrale:svl:ay_2021:3_-_ctl_model_checking.pdf | Model Checking of CTL}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:4_-_ctl_with_fairness.pdf |CTL with Fairness}} | + | * {{ :didattica:magistrale:svl:ay_1920:2_-_ctl_vs_ltl.pdf |CTL versus LTL}} |
| + | * {{ :didattica:magistrale:svl:ay_1920:4_-_ctl_with_fairness.pdf |CTL with Fairness}} | ||
| ==== Timed Systems ==== | ==== Timed Systems ==== | ||
| **Timed Automata** | **Timed Automata** | ||
| - | * {{ :didattica:magistrale:svl:ay_2021:1_-_timed_automata.pdf |Timed Automata}} | + | * {{ :didattica:magistrale:svl:ay_1920:1_-_timed_automata.pdf |Timed Automata}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:2_-_timed_paths_divergence_timelocks_zenoness.pdf |Timed Paths, Divergence, Timelocks, Zenoness}} | + | * {{ :didattica:magistrale:svl:ay_1920:2_-_timed_paths_divergence_timelocks_zenoness.pdf |Timed Paths, Divergence, Timelocks, Zenoness}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:3_-_timed_ctl.pdf |Timed CTL}} | + | * {{ :didattica:magistrale:svl:ay_1920:3_-_timed_ctl.pdf |Timed CTL}} |
| * [[http://www.it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf|UPPAAL Tutorial]] | * [[http://www.it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf|UPPAAL Tutorial]] | ||
| - | |||
| - | ==== Probabilistic Systems ==== | ||
| - | |||
| - | **Markov Chains** | ||
| - | * [[http://www.prismmodelchecker.org/lectures/esslli10/esslli10pmc-part1.pdf|Discrete Time Markov Chains and TCTL]] | ||
| - | * [[http://www.prismmodelchecker.org/lectures/esslli10/esslli10pmc-part4.pdf|Probabilistic model checking in practice]] | ||
| - | * [[http://www.prismmodelchecker.org/tutorial/|PRISM Tutorial]] | ||
| - | * [[http://www.prismmodelchecker.org/manual/Main/Welcome|PRISM Manual]] | ||
| ==== Exercises ==== | ==== Exercises ==== | ||
| **Exercises with (some) solutions** | **Exercises with (some) solutions** | ||
| - | * {{ :didattica:magistrale:svl:ay_2021:exsolmodelsandmodelling.pdf |Transition Systems and Modelling Languages for Reactive Systems}} | + | * {{ :didattica:magistrale:svl:ay_1920:exsolmodelsandmodelling.pdf |Transition Systems and Modelling Languages for Reactive Systems}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:exsollineartime.pdf |Linear Time Properties}} | + | * {{ :didattica:magistrale:svl:ay_1920:exsollineartime.pdf |Linear Time Properties}} |
| - | * {{ :didattica:magistrale:svl:ay_2021: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. | + | * {{ :didattica:magistrale:svl:ay_1920: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. |
| ==== Sample Past Written Tests with Solutions ==== | ==== Sample Past Written Tests with Solutions ==== | ||
| - | * {{ :didattica:magistrale:svl:ay_2021:svl1819appello1.pdf |Text1}}, {{ :didattica:magistrale:svl:ay_2021:svl1819appello1solutionwithnotes.pdf |Text1 with Solutions}} | + | * {{ :didattica:magistrale:svl:ay_1920:svl1819appello1.pdf |Text1}}, {{ :didattica:magistrale:svl:ay_1920:svl1819appello1solutionwithnotes.pdf |Text1 with Solutions}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:svl1819appello2.pdf |Text2}}, {{ :didattica:magistrale:svl:ay_2021:svl1819appello2withsolution.pdf |Text2 with Solutions}} | + | * {{ :didattica:magistrale:svl:ay_1920:svl1819appello2.pdf |Text2}}, {{ :didattica:magistrale:svl:ay_1920:svl1819appello2withsolution.pdf |Text2 with Solutions}} |
| - | * {{ :didattica:magistrale:svl:ay_2021:svl1819appello3.pdf |Text3}}, {{ :didattica:magistrale:svl:ay_2021:svl1819appello3_with_solutions.pdf |Text3 with Solutions}} | + | * {{ :didattica:magistrale:svl:ay_1920:svl1819appello3.pdf |Text3}}, {{ :didattica:magistrale:svl:ay_1920:svl1819appello3_with_solutions.pdf |Text3 with Solutions}} |
| * | * | ||
| ==== Textbooks ==== | ==== Textbooks ==== | ||
| - | Main: | ||
| * 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. | ||
| - | |||
| - | Reading: | ||
| - | * Vidyadhar G. Kulkarni, "Modeling and Analysis of Stochastic Systems, Third Edition", Chapman and Hall/CRC, 2016. | ||
| **Reference books** | **Reference books** | ||
| Line 166: | Line 152: | ||
| ===== Project ===== | ===== Project ===== | ||
| <WRAP box round center 95%> | <WRAP box round center 95%> | ||
| - | - The text of the project can be found in the Google Classroom platform. | + | * The project for 2020/2021 will be given on the **Google Classroom** platform during the course: [[https://classroom.google.com/c/MjkxNDU4MTYwNjA5?cjc=557nyk5]] (login with @studenti.unicam.it credentials) |
| </WRAP> | </WRAP> | ||
| Line 172: | Line 158: | ||
| ===== Exams ===== | ===== Exams ===== | ||
| <WRAP box round center 95%> | <WRAP box round center 95%> | ||
| - | **Exam Dates A.Y. 2019/2020 (Written Test Days)** - For each session, projects can be sent by the day before the written test (see Partial Exams "SVL1920 Sess. XXX - Project Delivery" in ESSE3) | + | **Exam Dates A.Y. 2020/2021** |
| - | - 06/02/2020 - 3pm - Room TBD, please register to the Partial Exam "SVL1920 Sess. I - Written Test" on ESSE3 before 31/01/2020 | + | |
| - | - 20/02/2020 - 3pm - Room TBD, please register to the Partial Exam "SVL1920 Sess. II - Written Test" on ESSE3 before 14/02/2020 | + | |
| - | - 25/06/2020 - 3pm - Room TBD, please register to the Partial Exam "SVL1920 Sess. III - Written Test" on ESSE3 before 19/06/2020 | + | |
| - | - 09/07/2020 - 3pm - Room TBD, please register to the Partial Exam "SVL1920 Sess. IV - Written Test" on ESSE3 before 03/07/2020 | + | |
| - | - 23/07/2020 - 3pm - Room TBD, please register to the Partial Exam "SVL1920 Sess. V - Written Test" on ESSE3 before 17/07/2020 | + | |
| - | - 10/09/2020 - 3pm - Room TBD, please register to the Partial Exam "SVL1920 Sess. VI - Written Test" on ESSE3 before 04/09/2020 | + | |
| - | - 24/09/2020 - 3pm - Room TBD, please register to the Partial Exam "SVL1920 Sess. VII - Written Test" on ESSE3 before 18/09/2020 | + | |
| - | - 25/03/2021 - 3pm - Room TBD, please register to the Partial Exam "SVL1920 Sess. VIII - Written Test" on ESSE3 before 19/03/2021 | + | |
| - | For registration, please consult the [[https://didattica.unicam.it|ESSE3 Portal]] after login. | + | Dates of Partial Exams "SVL2021 Sess. XXX - Project Delivery" and "SVL2021 Sess. XXX - Written Test" can be found in the [[https://didattica.unicam.it|ESSE3 Career System]] after login. |
| **Exam rules** | **Exam rules** | ||
| Line 188: | Line 166: | ||
| The exam consists of a written test, containing open-answer questions, together with one project, realised with the tools introduced in the course (see section "Projects" above). The Written Test and the Project are two independent Partial Exams (see the exam sessions in the ESSE3 career system) and can be passed in different exam sessions. The final grade, which is the average of the grades of the two Partial Exams, can be obtained and registered only if both the Partial Exams have been passed with a grade of at least 18/30. | The exam consists of a written test, containing open-answer questions, together with one project, realised with the tools introduced in the course (see section "Projects" above). The Written Test and the Project are two independent Partial Exams (see the exam sessions in the ESSE3 career system) and can be passed in different exam sessions. The final grade, which is the average of the grades of the two Partial Exams, can be obtained and registered only if both the Partial Exams have been passed with a grade of at least 18/30. | ||
| - | **Registration for the written tests** must be done using the Student Career System ESSE3 [[https://didattica.unicam.it|here]]. Please note that the registration **deadline** is usually **3 working days before** the written test date. During the exercise sessions throughout the course samples of the written test questions will be presented with solutions. During the written test students can consult a hand-written A4 paper of their production for reference. | + | **Registration for the written tests** must be done using the Student Career System ESSE3 [[https://didattica.unicam.it|here]]. Please note that the registration **deadline** is usually **3 working days before** the written test date. During the exercise sessions throughout the course samples of the written test questions will be presented with solutions. **During the written test students can consult a hand-written A4 paper of their production for reference.** |
| **Instructions for Sending Projects** | **Instructions for Sending Projects** | ||
| Line 198: | Line 176: | ||
| The folder must be named | The folder must be named | ||
| - | SVL1920-Project-N-APP-X-Surname-Name | + | SVL2021-Project-N-APP-X-Surname-Name |
| where N is the number of the realised project (according to the section "Projects" above) and X is the number of the exam session (Appello) as specified for each date of the written test above. | where N is the number of the realised project (according to the section "Projects" above) and X is the number of the exam session (Appello) as specified for each date of the written test above. | ||
| Line 204: | Line 182: | ||
| The folder must be shared (using Google Drive facilities) with luca.tesei@unicam.it and andrea.polini@unicam.it by 11.59pm of the day before the written test scheduled for the selected session X. | The folder must be shared (using Google Drive facilities) with luca.tesei@unicam.it and andrea.polini@unicam.it by 11.59pm of the day before the written test scheduled for the selected session X. | ||
| - | Students that send the project must also register to the Partial Exam "SVL1920 Sess. XXX - Project Delivery" in ESSE3, specified for each exam session. | + | Students that send the project must also register to the Partial Exam "SVL2021 Sess. XXX - Project Delivery" in ESSE3, specified for each exam session. |
