This talk will present the main results of the DECODER H2020 project (https://www.decoder-project.eu). The main goal of the project is to offer a unified platform (the PKM, Persistent Knowledge Monitor) for hosting all kinds of documents related to a given software project, including source code, manuals, bug reports. A variety of tools are interacting with the PKM to fill it with additional information and/or take advantage of information provided by other tools. This includes notably the results of static analyses, program proofs, and test case generation on the one hand, and the extraction of more formal specifications from natural language documents using natural language processing techniques. Nearly two years after its start, DECODER is finalizing the first prototypes of its main tools and aims at deploying a beta-testing campaign for the final year of the project.
DECODER: a toolbox for exploring, understanding and verifying software