Spécification et Validation de Programmes
SVP

Cours

Zip - 4.5 ko

1ère partie

Les thèmes abordés dans cette partie seront :

  1. programmation récursive avec Coq
  2. formules logiques, prédicats inductifs pour la spécification
  3. raisonnement logique et raisonnement par récurrence pour la vérification.

notes de cours

2éme partie

3ème partie


TD/TME

script Coq à compléter.

script Coq à compléter.

script Coq à compléter.

script Coq à compléter.

Quelques exercices corrigés

script Coq à compléter.

script Coq à compléter.


Annales

Examen 1 corrigé


Soumission Exam blanc

Poster un message pour soumettre votre TP

Deadline : Mardi 24 Janvier, minuit.