Vérification de programmes C/Java/...
- Introduction à la vérification de programmes
- Fondements de l'évaluation de modèles (model checking)
- Abstraction de programmes
- Expression de propriétés (de correction)
Outils
- Carnegie Melon CBMC (programmes C) : site
- BLAST (programmes C) : site
- Magic (programmes C) : site
Documents
C. A. fevrier 2007