Section outline

  • 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
    • 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 Group choice
    • 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.

      Available from 17 October 2025, 1:30 PM
    • Available from 17 October 2025, 1:30 PM
    • Rendu APNÉE 2 Assignment
      Opens: Friday, 17 October 2025, 1:30 PM
      Due: Friday, 17 October 2025, 5:00 PM
    • Évaluation par les pairs Apnée 2 Workshop
      Submissions open: Friday, 17 October 2025, 1:30 PM
      Submissions close: Friday, 17 October 2025, 11:55 PM
      Assessments open: Friday, 17 October 2025, 11:59 PM
      Assessments close: Saturday, 25 October 2025, 11:59 PM