Résumé de section

  • En cas de problème technique sur une apnée, contacter immédiatement Benjamin Wack et Vincent Danjean par mail.

    • Documents de cours
      • Cours : Logique de Hoare
        Preuve automatique de programme
        Recherche dichotomique
      • TD1 : preuves de correction et de terminaison
      • TD2 : validation expérimentale de programmes
    • Corrigés des TDs de la semaine
    • Apnée 2
      En cas de problème technique sur une apnée, contacter immédiatement Benjamin Wack par mail.
    • Choix d'un binôme pour l'APNEE 2 Choix de Groupe
    • Sujet APNEE 2 Page

      Cette apnée est la suite de l'apnée Programmation «Tests de programmes». Il n'est donc pas judicieux de la commencer avant d'avoir terminé l'apnée de Programmation.

    • Ces fichiers ne sont utilisés que dans l'exercice 3 (facultatif), ne perdez pas de temps à les consulter avant d'en avoir besoin.

    • Rendu APNÉE 2 Devoir
      Ouvert le : vendredi 17 octobre 2025, 13:30
      À rendre : vendredi 17 octobre 2025, 17:00

      ATTENTION : tous les membres d'un binôme doivent s'inscrire dans ce binôme sur moodle avant de faire le rendu pour que le devoir soit bien pris en compte pour tous les étudiants.

      Plusieurs fichiers sont à déposer :

      • Compte-rendu : 4 pages maximum, au format PDF (rappel : utilisez Grammalecte ou LanguageTool)
      • Fichiers sources de vos programmes (le correcteur doit pouvoir compiler votre code)
      • Archive compressée contenant les chaînes générées
      • Le cas échéant, le fichier oracle.c complété

      Un seul dépôt (avec tous les fichiers) par binôme.

      N'oubliez pas de déposer aussi dans l'atelier "Évaluation par les pairs" exactement les mêmes fichiers que dans ce devoir "Rendu Apnée 2".

      https://moodle.caseine.org/mod/workshop/view.php?id=75368

      Non disponible à moins que : Vous soyez membre d’un groupe de APNEE2
    • Évaluation par les pairs Apnée 2 Atelier
      Phase de remise ouverte : vendredi 17 octobre 2025, 13:30
      Phase de remise fermée : mardi 21 octobre 2025, 23:55
      Phase d’évaluation ouverte : mardi 21 octobre 2025, 23:59
      Phase d’évaluation fermée : vendredi 31 octobre 2025, 23:59
      Non disponible à moins que : Vous soyez membre d’un groupe de APNEE2