Rapport d'avancement sur la vérification formelle des algorithmes de ParcourSup

ParcourSup est le système informatique national français utilisé pour l’orientation des nouveaux bacheliers dans les établissements d’enseignement supérieur. Ce système utilise des algorithmes spécifiques pour établir des classements des candidats pour chaque établissement auxquels ils pos-tulent. Ces classements sont produits en fonction des vœux des candidats, du classement de leurs dossiers par les établissements, ceci en tenant compte de contraintes générales sur des taux de bour-siers et des taux de non-résidents. Les propriétés attendues des algorithmes en question sont documentées par un document en français. Ces algorithmes sont implantés en langage Java, et leur code source est disponible sous une licence libre et ouvert