Recherche avancée
Musée virtuel de l’informatique
Parcourir les contenus
Parcourir les collections
Parcourir les expositions
À propos
Mon programme est-il correct ?
Introduction
Spécification
Développement des programmes
Méthodes de test
Analyse statique
Preuves de programmes
Peut-on prouver qu'un programme est correct ?
Preuve d'un programme : le PGCD
Les assistants de preuve
Il y a un bug !
Peut-on prouver qu'un programme est correct ?
← Page précédente
Page suivante →