FP7
COCONUT
A Correct-by-Construction Workbench for Design and Verification of Embedded Systems
- Programme
- Seventh Framework Programme
- Started
- Ends
- Duration
- 30 months
- Total cost
- EUR 3,346,784
- EU contribution
- EUR 2,550,000
- Participants
- 7 from 5 countries
- Topic
- FP7_ICT-2007.3.3
- Grant agreement
- 217069
Coordinated by Universita Degli Studi di Verona (ITItaly).
Consortium
EU contribution per participant as the open data of CORDIS states it; for a participant with linked third parties it may include their share, and a participant whose amount the data does not hold or cannot make consistent shows Not stated. A participant who left the project is not listed; see the history below.
| Organisation | Country | Role | EU contribution | Recognised by |
|---|---|---|---|---|
| Universita Degli Studi di Verona | ITItaly | Coordinator | EUR 332,644 | known name (0.95) |
| Universitaet Paderborn | DEGermany | Participant | EUR 293,977 | PIC (1.00) |
| Aerielogic Sarl | FRFrance | Participant | EUR 208,653 | PIC (1.00) |
| Certess S.A. | FRFrance | Participant | EUR 335,974 | PIC (1.00) |
| University of Southampton | GBUnited Kingdom | Participant | EUR 87,851 | known name (0.95) |
| University College Dublin, National University of Ireland, Dublin | IEIreland | Participant | EUR 173,773 | VAT number (0.97) |
| EDALab srl | ITItaly | Participant | EUR 78,386 | PIC (1.00) |
Changes of the consortium
First seen on with 7 participants from 5 countries.
A snapshot of each project's members is taken once a month; a change is recorded when a snapshot differs from the one before. A project with no change listed has had the same members since it was first observed.
Project page on CORDIS (opens in new tab)
Where this comes from
- CORDIS: EU research projects (Horizon Europe, Horizon 2020, FP7)Last read on . Licence: Commission Decision 2011/833/EU (reuse of Commission documents). Source: CORDIS, European Commission.Participants and amounts as the Commission's CORDIS database states them.
EU contribution is the amount CORDIS's open data pays to the participant. For a participant with linked third parties it may include their share (the CORDIS page prints the net); an amount the data does not hold is left out, not counted as zero. EDF factsheets state none per participant, so EDF projects count as projects but add nothing to the amounts.
Organisation-level facts only: a name, a country, a role, an amount, a year. A participant is recognised by its PIC where the source gives one, otherwise by name; the page says which. How the data is built.