FORMAL METHODS FOR SYSTEM VERIFICATION
- Anno accademico
- 2026/2027 Programmi anni precedenti
- Titolo corso in inglese
- FORMAL METHODS FOR SYSTEM VERIFICATION
- Codice insegnamento
- CM0474 (AF:733800 AR:436289)
- Lingua di insegnamento
- Inglese
- Modalità
- In presenza
- Crediti formativi universitari
- 6
- Livello laurea
- Laurea magistrale (DM270)
- Settore scientifico disciplinare
- INFO-01/A
- Periodo
- I Semestre
- Anno corso
- 1
- Sede
- VENEZIA
- Spazio Moodle
- Link allo spazio del corso
Genera calendario ICS
Genera calendario XLS
Copia questo URL per importare gli orari nel tuo Google Calendar: https://www.unive.it/data/ajax/Didattica/generaics?cache=-1&afid=733800
Orario settimanale
| Giorno | Orario | Aula | Sede | Note | |
|---|---|---|---|---|---|
| Martedì | 10:30 - 12:00 | Aula A | Campus scientifico via Torino (edificio Zeta) | ||
| Giovedì | 08:45 - 10:15 | Aula A | Campus scientifico via Torino (edificio Zeta) |
Calendario lezioni
| Lezione | Aula | Sede | Attività | Docenti | Note |
|---|---|---|---|---|---|
| Mar 29/09/2026 10:30-12:00 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Gio 01/10/2026 08:45-10:15 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Mar 06/10/2026 10:30-12:00 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Gio 08/10/2026 08:45-10:15 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Mar 13/10/2026 10:30-12:00 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Gio 15/10/2026 08:45-10:15 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Mar 20/10/2026 10:30-12:00 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Gio 22/10/2026 08:45-10:15 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Mar 27/10/2026 10:30-12:00 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Gio 29/10/2026 08:45-10:15 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Mar 03/11/2026 10:30-12:00 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Gio 05/11/2026 08:45-10:15 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Mar 10/11/2026 10:30-12:00 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Gio 12/11/2026 08:45-10:15 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Mar 17/11/2026 10:30-12:00 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Gio 19/11/2026 08:45-10:15 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Mar 24/11/2026 10:30-12:00 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Gio 26/11/2026 08:45-10:15 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Mar 01/12/2026 10:30-12:00 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Gio 03/12/2026 08:45-10:15 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Gio 10/12/2026 08:45-10:15 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Mar 15/12/2026 10:30-12:00 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Gio 17/12/2026 08:45-10:15 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina | |
| Mar 22/12/2026 10:30-12:00 | Aula A | Campus scientifico via Torino (edificio Zeta) | Lezione | ROSSI Sabina |