Project description
New toolbox reduces the likelihood of spreadsheet errors
Spreadsheet applications such as Microsoft Excel are essential tools in business, accounting and research. However, a simple mistake in company spreadsheets may cost billions. A former EU-funded project implemented new techniques in static programme analysis that facilitate the verification of programmes that use complex data structures, such as unidimensional or multidimensional arrays, lists, trees and dictionaries. MemCAD led to the design of powerful abstraction techniques to reason over complex data structures such as tables found in spreadsheets. Building on those developments, the EU-funded SPARKs project aims to leverage these results into a toolbox that can verify, optimise and maintain spreadsheets. The envisioned toolbox will rely on automatic and conservative semantic static analysis, reporting all occurrences of certain classes of errors.
Fields of science
Programme(s)
Funding Scheme
ERC-POC - Proof of Concept Grant
Host institution
78153 Le Chesnay Cedex
France
See on map
Beneficiaries (1)
78153 Le Chesnay Cedex
See on map