In January 2008, work commenced on a European research project coordinated by the Electronic System Design Group of the Dipartimento di Informatica at the University of Verona, led by Prof. Franco Fummi. The project, a COrrect-by-CONstrUcTion (COCONUT) workbench for design and verification of embedded systems, has been evaluated as the best project proposal on embedded systems submitted to the European Union’s (EU's) Seventh Framework Program Project funding amounts to 3.2M euros encompassing a global effort of 360 person months over the course of 2.5 years.
