Vérification par preuve formelle de propriétés fonctionnelles d'algorithme de classification - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2019

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

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
internship-report-parcoursup.pdf (98.18 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Jean-Christophe Filliâtre  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02421484

Soumis le : vendredi 20 décembre 2019-14:56:57

Dernière modification le : jeudi 28 novembre 2024-15:42:02

Télécharger pour visualiser

Dates et versions

hal-02421484 , version 1 (20-12-2019)

Identifiants

  • HAL Id : hal-02421484 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS LARA UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
324 Consultations
314 Téléchargements

Partager

More