Software Validation and Verification

Lectures (videos in french, slides in english)

A textbook (by Oscar Luis Vera-Pérez) complements the lectures.

Further material, information and references


This course is evolving since a long time, with the contributions of various colleagues, including Yves Le Traon, Benoit Baudry and Oscar Luis Vera-Pérez.

Benoit Combemale
Benoit Combemale
Full Professor of Software Engineering

Agility and safety for wild software