@techreport{becker:hal-02447409, TITLE = {{Rapport d'avancement sur la v{\'e}rification formelle des algorithmes de ParcourSup}}, AUTHOR = {Becker, Benedikt and Filli{\^a}tre, Jean-Christophe and March{\'e}, Claude}, URL = {https://inria.hal.science/hal-02447409}, TYPE = {Technical Report}, INSTITUTION = {{Universit{\'e} Paris-Saclay}}, YEAR = {2020}, MONTH = Jan, PDF = {https://inria.hal.science/hal-02447409/file/main.pdf}, HAL_ID = {hal-02447409}, HAL_VERSION = {v1}, }