M. Pelleau

Vérification de programmes en PPC

Ce cours est une introduction à la vérification de programmes en utilisant l'interprétation abstraite et la programmation par contraintes.

S3 3 ECTS 24h OPT M. Pelleau

Dans ce cours nous verrons une introduction à l’interprétation abstraite ainsi qu’à la programmation par contraintes (en continu), dans le but de réaliser un analyseur statique de programme.

Calendrier

Supports de cours