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.

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

• PPC Continu
• Vérification
• Logique de Hoare