Coconut (project)

The COCONUT project (Correct-by-Construction Workbench for Design and Verification of Embedded Systems) is a research project funded by the European Union within the 7th Framework Programme.

Aims

The COCONUT project,named Best Proposal for Embedded Systems by the EU's Seventh Framework Programme, aims at defining a framework for the integration of the formal verification and system design. Embedded systems, possibly with mixed continuous/discrete domain, are a special focus of the project. Tools for formal verification, correct-by-construction synthesis, mapping between hybrid and discrete domains, and property analysis will be researched, developed or improved, and integrated into a design flow.

Project Partners

The following partners are contributing to the project:

  • AeriLogic
  • University of Southampton
  • Università degli Studi di Verona
  • Certess
  • University of Paderborn
  • Graz University of Technology (IAIK)
  • Fondazione Bruno Kessler
  • CEA Leti