Static Analysis for the VErification of Spreadsheets

Informations projet

SPARKs

N° de convention de subvention: 825492

DOI

10.3030/825492

Projet clôturé

Date de signature de la CE 23 Octobre 2018

Date de début 1 Janvier 2019

Date de fin 31 Decembre 2020

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 149 533,00

Contribution de l’UE

€ 149 533,00

Coordonné par

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (1)

On Correctness of Automatic Differentiation for Non-Differentiable Functions

Auteurs: Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok
Publié dans: https://hal.inria.fr/hal-03081582, Numéro 1, 2020, Page(s) All
Éditeur: NeurIPS 2020 - 34th Conference on Neural Information Processing Systems

Droits de propriété intellectuelle

Other (1)

"""Analyseur Statique de tableurs Excel"" V2.0"

Numéro de demande/publication: IDDN IDDN.FR.001.080045.000.S.A.2021.000.10000
Date: 2021-02-26
Demandeur(s): INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE