2013
2013
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 auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa