2012
2012
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Analysis and Verification of Software
| Informazioni generali | |||
| Corso di Laurea | Informatica - Computer Science | Percorso | Computer Science |
|---|---|---|---|
| CFU | 6 | Università | "Ca Foscari" VENEZIA |
| Ore di didattica frontale per CFU | 7 | Settore Scientifico Disciplinare | INF/01 |
| Commento | Esame a scelta per il completamento del piano di studio da 120 CFU | ||
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
- D - Linguaggi
-
TAV - Tecniche di Analisi e Verifica
Introduction to formal methods for software analysis and verification. -
TAV - Tecniche di Analisi e Verifica
Partial Orders and Lattices. Fixed-Point and Widening Operators. -
TAV - Tecniche di Analisi e Verifica
Concrete and Abstract Semantics. The Abstract Interpretation Framework. -
TAV - Tecniche di Analisi e Verifica
Dataflow Analyses. Classical Analyses: liveness, reaching definition, constant propagation, etc. Intra- and inter-procedural analysis. -
TAV - Tecniche di Analisi e Verifica
Model Checking. Temporal logics: CTL*. -
TAV - Tecniche di Analisi e Verifica
Case Studies: Analysis of Security properties.
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
