AUTONOMOUS, DISTRIBUTED AND PERVASIVE SYSTEMS-2

Anno accademico
2020/2021 Programmi anni precedenti
Titolo corso in inglese
AUTONOMOUS, DISTRIBUTED AND PERVASIVE SYSTEMS-2
Codice insegnamento
PHD156-2 (AF:342332 AR:182120)
Modalità
In presenza
Crediti formativi universitari
2
Livello laurea
Corso di Dottorato (D.M.45)
Settore scientifico disciplinare
INF/01
Periodo
Annuale
Anno corso
1
Sede
VENEZIA
The goal of this course is to teach the main concepts of the abstract interpretation theory and its application and implementation to some common contexts (in particular, about numerical and heap abstractions).
At the end of the course, the student will be able to:
1) understand the main institutions, certifications, and standards in the field of quality and security assurance
2) understand the formalization and proof of soundness of abstract interpretation-based static analyses
3) implement some basic analyses in a generic static analyzer based on the abstract interpretation theory.
Basic knowledge about algebra.
1) Introduction to static program analysis
2) Software quality assurance
3) Bases of abstract interpretation
4) Numerical domains
5) Heap abstraction
Xavier Rival and Kwangkeun Yi: "Introduction to Static Analysis: An Abstract Interpretation Perspective", MIT Press, 2019 (https://mitpress.mit.edu/books/introduction-static-analysis )
Patrick Cousot: "Principles of Abstract Interpretation", MIT Press, 2021 (https://mitpress.mit.edu/books/principles-abstract-interpretation )
Implementation of some analyses in a generic static analyzer.
Frontal lectures, slides.
Inglese
orale
Programma definitivo.
Data ultima modifica programma: 08/12/2020