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

Project Information

COCONUT

Grant agreement ID: 217069

Project closed

Start date 1 January 2008

End date 30 June 2010

Funded under

• Specific Programme "Cooperation": Information and communication technologies

Total cost € 3 346 784,00

EU contribution € 2 550 000,00

Coordinated by

UNIVERSITA DEGLI STUDI DI VERONA
Italy