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
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