Software Verification and Validation

The aim of the course is to provide a deeper understanding about validation (i.e., checking if the software product matches the client's expetctations) and verification (i.e., checking if the software product matches the specification written by the analyst): in particular, the focus is on static analysis, testing and formal analysis.

The student will be able to use in a proficient and critical way some widespread testing and analysis frameworks, while understanding their methodolgical and theoretical core aspects.