Periodic Reporting for period 1 - SPARKs (Static Analysis for the VErification of Spreadsheets)
Okres sprawozdawczy: 2019-01-01 do 2020-12-31
The MemCAD ERC Starting Grant project opened the way to novel formal analysis techniques for spreadsheet applications. Indeed, while this project focused on the abstraction of data-structures manipulated by programs in order to verify them, spreadsheets occur to be a very interesting case of data-structures, and results of the MemCAD project allowed to better cope with them.
In the SAVES ERC Proof of Concept Grant project, we propose to leverage these results into a toolbox able to safely verify, optimise and maintain spreadsheets, so as to reduce the likelihood of spreadsheet disasters. In the course of the project, we enhanced the state of the toolkit that we started to design during the MemCAD project. In particular, we improved analysis and verification tools and supplemented them with tools to further assist spreadsheet users. This toolbox is commercialised by the startup MatrixLead.