Skip to main content
Side panel
English (en)
English (en)
Italiano (it)
Log in
Home
Percorso della pagina
Postgraduate
PhD School
Doctoral programs' teaching activities
Computer Science / Informatica
2018-2019
Static and Dynamic Software Analysis
Summary
Course full name
Static and Dynamic Software Analysis
Course ID number
1819-87R-SDSA
Course summary
Enter
Enrolment methods
Manual enrolments
Guest access
Staff
Teacher
Pietro Braione
Giovanni Denaro
Static and Dynamic Software Analysis
Sections
General
Data Flow Analysis - 05/09/2019
Alloy - 17/09/2019
Model Checking - 18/09/2019
Symbolic Execution - 19/09/2019
Dynamic Analysis - 20/09/2019
Home