Plan pour [No. 1] Exemples de méthodes et outils pour la correction des programmes
Par Lucas Tabary-MaujeanDéveloppements
Dév. 1 Étude de l'algorithme d'unification de Robinson (par Lucas Tabary-Maujean) Dév. 2 Preuve de correction d'un tri simple par la logique de Hoare (par Lucas Tabary-Maujean)Contenu
Plan [PDF]Une remarque et/ou le plan directement ici