FORMAL METHODS FOR SYSTEM VERIFICATION

Academic year
2024/2025 Syllabus of previous years
Official course title
FORMAL METHODS FOR SYSTEM VERIFICATION
Course code
CM0474 (AF:513719 AR:286751)
Modality
On campus classes
ECTS credits
6
Degree level
Master's Degree Programme (DM270)
Educational sector code
INF/01
Period
1st Semester
Course year
1
Where
VENEZIA
Moodle
Go to Moodle page
Weekly timetable
Day Timetable Classroom Where Other information  
Monday 10:30 - 12:00 Aula A Campus scientifico via Torino (edificio Zeta)
Thursday 08:45 - 10:15 Sala Conferenze Gabriele Zanetto Campus scientifico via Torino (edificio Alfa)
Thursday 08:45 - 10:15 Aula B Campus scientifico via Torino (edificio Zeta)
Course Classroom Where Activities Professors Other information
Mon 16/09/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Mon 23/09/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Thu 26/09/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Mon 30/09/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Thu 03/10/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Mon 07/10/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Thu 10/10/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Mon 14/10/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Thu 17/10/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Mon 21/10/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Thu 24/10/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Mon 28/10/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Thu 31/10/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Mon 04/11/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Thu 07/11/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Mon 11/11/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Thu 14/11/2024 08:45-10:15 Sala Conferenze Gabriele Zanetto Campus scientifico via Torino (edificio Alfa) Lezione ROSSI Sabina
Mon 18/11/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Mon 25/11/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Thu 28/11/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Mon 02/12/2024 10:30-12:00 Aula A Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Thu 05/12/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina
Thu 12/12/2024 08:45-10:15 Aula B Campus scientifico via Torino (edificio Zeta) Lezione ROSSI Sabina