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.
Introduction ti program analysis and verification
Model checking and abstract model checking
|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|
Seminar on arguments, related to the course program, chosen by the student
CSS e script comuni siti DOL - frase 9957