DECODER H2020 project (https://www.decoder-project.eu).
The main goal of DECODER 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. This project is funded by the European Commission under the H2020 Research program and runs from 2019 to 2021.