Skip to Main content Skip to Navigation
Reports

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

Benedikt Becker 1 Jean-Christophe Filliâtre 1 Claude Marché 1
1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
Inria Saclay - Ile de France, LRI - Laboratoire de Recherche en Informatique
Résumé : 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 ouverte
Document type :
Reports
Complete list of metadatas

Cited literature [43 references]  Display  Hide  Download

https://hal.inria.fr/hal-02447409
Contributor : Claude Marché <>
Submitted on : Tuesday, January 21, 2020 - 3:43:33 PM
Last modification on : Thursday, September 17, 2020 - 3:14:09 AM
Long-term archiving on: : Wednesday, April 22, 2020 - 7:26:33 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02447409, version 1

Citation

Benedikt Becker, Jean-Christophe Filliâtre, Claude Marché. Rapport d'avancement sur la vérification formelle des algorithmes de ParcourSup. [Rapport Technique] Université Paris-Saclay. 2020. ⟨hal-02447409⟩

Share

Metrics

Record views

130

Files downloads

380