Hide menu

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.

Page responsible: Ahmed Rezine
Last updated: 2020-09-14