COCONUT: A Correct-by-Construction Workbench for Design and Verification of Embedded Systems

Date:

2008-2010

Themes:

Embedded Systems, Formal Methods, Design, Automation, Simulation and Optimisation

Funding:

European Commission

Primary investigator

• jpms

Partners

• Certess, CEA-LETI, AerieLogic, Fondazione Bruno Kessler
• University of Verona, Graz University of Technology, University of Paderborn

Associated research group

• Dependable Systems & Software Engineering