Studiare
In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.
Calendario accademico
Il calendario accademico riporta le scadenze, gli adempimenti e i periodi rilevanti per la componente studentesca, personale docente e personale dell'Università. Sono inoltre indicate le festività e le chiusure ufficiali dell'Ateneo.
L’anno accademico inizia il 1° ottobre e termina il 30 settembre dell'anno successivo.
Calendario didattico
Il calendario didattico indica i periodi di svolgimento delle attività formative, di sessioni d'esami, di laurea e di chiusura per le festività.
Periodo | Dal | Al |
---|---|---|
1° Q - 2° anno e successivi | 29-set-2003 | 28-nov-2003 |
2° Q | 12-gen-2004 | 12-mar-2004 |
3° Q | 5-apr-2004 | 11-giu-2004 |
Sessione | Dal | Al |
---|---|---|
Sessione straordinaria | 17-dic-2003 | 17-dic-2003 |
Sessione invernale | 17-mar-2004 | 17-mar-2004 |
Sessione estiva | 22-lug-2004 | 22-lug-2004 |
Sessione autunnale | 22-set-2004 | 22-set-2004 |
Periodo | Dal | Al |
---|---|---|
Festa di tutti i santi | 1-nov-2003 | 1-nov-2003 |
Vacanze natalizie | 22-dic-2003 | 6-gen-2004 |
Vacanze Pasquali | 8-apr-2004 | 13-apr-2004 |
Festa del Patrono S. Zeno | 12-apr-2004 | 12-apr-2004 |
Festa del lavoro | 1-mag-2004 | 1-mag-2004 |
Festa della Repubblica | 2-giu-2004 | 2-giu-2004 |
Vacanze estive | 26-lug-2004 | 31-ago-2004 |
Calendario esami
Gli appelli d'esame sono gestiti dalla Unità Operativa Segreteria Corsi di Studio Scienze e Ingegneria.
Per consultazione e iscrizione agli appelli d'esame visita il sistema ESSE3.
Per problemi inerenti allo smarrimento della password di accesso ai servizi on-line si prega di rivolgersi al supporto informatico della Scuola o al servizio recupero credenziali
Docenti
Piano Didattico
Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.
2° Anno Attivato nell'A.A. 2004/2005
Insegnamenti | Crediti | TAF | SSD |
---|
4° Anno Attivato nell'A.A. 2006/2007
Insegnamenti | Crediti | TAF | SSD |
---|
5° Anno Attivato nell'A.A. 2007/2008
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Legenda | Tipo Attività Formativa (TAF)
TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.
Analisi e verifica automatica di sistemi (2006/2007)
Codice insegnamento
4S00051
Docente
Crediti
5
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Periodo
2° Q dal 8-gen-2007 al 9-mar-2007.
Sede
VERONA
Pagina Web
Obiettivi formativi
Un aspetto fondamentale della moderna scienza dei calcolatori è quello
di fornire strumenti per poter ragionare sulle proprietà dei programmi.
Le proprietà più interessanti sono quelle legate alla semantica dei
programmi. La natura indecidibile di questi problemi, impone una necessaria approssimazione nella fase di analisi e verifica formale. Nel corso vengono studiati i principali metodi formali per costruire sistematicamente strumenti per l'analisi statica e la verifica automatica di proprietà di programmi scritti in un linguaggio di programmazione (qualunque esso sia) mediante tecniche di
approssimazione semantica. Verranno introdotti strumenti e tecniche per
specificare, trasformare, verificare ed approssimare proprietà significative di
componenti Software complessi. In particolare verranno affrontati i problemi di sicurezza del software (information flow analysis, code obfuscation, software watermarking e malware detection).
Programma
Programma
# Introduzione all'analisi e verifica di sistemi complessi
# Posets, CPO, Reticoli, e Teoremi di punto fisso
# Specifiche e proprietà di programmi
# Logica di Hoare e verifica di programmi sequenziali
# Sistemi reattivi e concorrenti
# Logiche temporali: CTL*, CTL, LTL
# Model Checking
# Symbolic model checking
# Astrazione e connessioni di Galois
# Correttezza e astrazione di sistemi
# Approssimazione semantica: Interpretazione astratta
# Elementi di Sicurezza del software.
Modalità d'esame
Orale con discussione di una tesina (applicata o teorica) su un argomento dato dal docente.
Tipologia di Attività formativa D e F
Documenti e avvisi
- Documento ufficiale (pdf, it, 21 KB, 25/06/03)
Insegnamenti non ancora inseriti
Prospettive
Avvisi degli insegnamenti e del corso di studio
Per la comunità studentesca
Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.