Spécification et Validation de Programmes
SVP

MANIFESTE

Partie 1

Cette première partie du cours s’articule en 3 thèmes
- Programmation récursive, définitions inductives et récurrence structurelle
- Un premier exemple de spécification et de preuve de programme
- Un exemple plus poussé de spécification et preuve d’une fonction de tri

Notes de cours

Partie 2

Partie 3

 
Documents utiles