Parcoursup

Description
Implémentation de référence WhyML des algorithmes de Parcoursup, et preuve formelle de leurs propriétés.
Domaines d'utilisation
vérification automatique
Contributeurs LaBRI
Hugo Gimbert, Gérald Point, Pierre Castéran
Dépôt du code source
https://gitub.u-bordeaux.fr/parcoursup/why3
OS supportés
Linux, MacOS, Windows
Plus d'informations
https://gitub.u-bordeaux.fr/parcoursup/why3

Précédent