Skip to Main content Skip to Navigation
Reports

Vérification par preuve formelle de propriétés fonctionnelles d'algorithme de classification

Document type :
Reports
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-02421484
Contributor : Jean-Christophe Filliâtre <>
Submitted on : Friday, December 20, 2019 - 2:56:57 PM
Last modification on : Wednesday, September 16, 2020 - 5:35:44 PM

File

internship-report-parcoursup.p...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02421484, version 1

Citation

Léo Andrès. Vérification par preuve formelle de propriétés fonctionnelles d'algorithme de classification. [Rapport de recherche] Université Paris Sud (Paris 11) - Université Paris Saclay. 2019. ⟨hal-02421484⟩

Share

Metrics

Record views

276

Files downloads

245