Static Analysis for the VErification of Spreadsheets

Project Information

SPARKs

Grant agreement ID: 825492

DOI

10.3030/825492

Project closed

EC signature date 23 October 2018

Start date 1 January 2019

End date 31 December 2020

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 149 533,00

EU contribution

€ 149 533,00

Coordinated by

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (1)

On Correctness of Automatic Differentiation for Non-Differentiable Functions

Author(s): Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok
Published in: https://hal.inria.fr/hal-03081582, Issue 1, 2020, Page(s) All
Publisher: NeurIPS 2020 - 34th Conference on Neural Information Processing Systems

Intellectual Property Rights

Other (1)

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

Application/Publication number: IDDN IDDN.FR.001.080045.000.S.A.2021.000.10000
Date: 2021-02-26
Applicant(s): INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE