Advanced program analysis and verification (2019/2020)

  1. Home
  2. Teaching
  3. PhD programmes
  4. PhD in Computer Science
  5. Insegnamenti
Course code
cod wi: DT000048
Name of lecturer
Isabella Mastroeni
Coordinator
Isabella Mastroeni
Number of ECTS credits allocated
2
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Location
VERONA
Period
A.A. 19/20 dottorato dal Oct 1, 2019 al Sep 30, 2020.
Course news Seminars related to the course

Lesson timetable

Go to lesson schedule

Learning outcomes

The goal of the course is that of providing the basic tools for understanding, designing and using static analysis tools and verification techniques on computational systems aiming at verifying properties and/or extracting functionalities of systems under analysis.

Syllabus

Introduction ti program analysis and verification
Static analysis
Model checking and abstract model checking

Reference books
Author Title Publisher Year ISBN Note
Xavier Rival, Kwangkeun Yi Introduction to Static Analysis: An Abstract Interpretation Perspective MIT 2020
Edmund M Clarke, Orna Grumberg, Doron Peled, Doron Peleg Model Checking (Edizione 2) MIT 2018 9780262038836

Assessment methods and criteria

Seminar on arguments, related to the course program, chosen by the student