Modalità della prova d'esame per il corso di Metodi Formali per la Sicurezza a.a. 2018-19

Scopo dell'esame è la valutazione delle capacità critiche degli studenti relativamente ai concetti trattati nell'intero corso. A tale scopo, la valutazione si articola in due parti: una parte generale su tutti gli argomenti trattati nel corso e una parte di approfondimento in forma di tesina su un argomento specifico scelto dagli studenti.

La tesina di approfondimento potrà avere sia natura concettuale che applicativa. E' possibile approfondire qualsiasi argomento trattato a lezione.
Si suggerisce di contattare il docente per concordare le attività di approfondimento.

Per motivi organizzativi, è necessario iscriversi all'appello mediante Esse3, secondo le usuali modalità. Al fine di permettere una attenta valutazione delle tesine, è necessario fornirne una copia cartacea e una elttronica al docente al più cinque giorni lavorativi prima della data dell'appello.