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 marie.pelleau@univ-cotedazur.fr

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