TDDE34 Software Verification
The course is an introduction to the theory and practice of software verification.
The course will introduce you to the principals behind software verification approaches including Model Checking, Hoare-style reasoning, satisfiability modulo theory and abstract interpretation.
The course will also involve hands-on labs where you will apply and experiment tools that represent different verification techniques taken up in the lectures.
The cours is organized in the form of lectures, tutorials and labs.
To pass the course you will need to:
- hand in solutions to homeowrk exercices
- hand in solutions to labs problems
- pass an exam that revisits fundamental notions discussed in the course.
Page responsible: Ahmed Rezine
Last updated: 2020-09-08