Info

The SPY Lab (Static Program analysis by Abstract Interpretation) is devoted to the design and development of automatic tools based on formal methods and abstract interpretation theory for program analysis, automatic program certification, system testing, and security analysis of software. We are particularly interested in the application of these techniques to aid in the compilation and implementation of programming languages. The access to the lab is restricted to the students in Master and PhD thesis and to the Faculty staff of the Department of Computer Science in Verona. The following is a list of topics which are studied in this Lab:

Semantics and abstract interpretation theory
Semantics based program analysis
Security analysis
Program and system certification
Model checking and program verification
Programming environments
Domain specific languages and tools

Academic links

University of Verona
Faculty of Sciences
Department of Computer Science

Fun zone