1 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
A Correct-by-Construction Workbench for Design and Verification of Embedded Systems (COCONUT)
Date du début: 1 janv. 2008, Date de fin: 30 juin 2010,
Design and verification of modern embedded platforms are two highly related problems which are still mainly addressed by using unrelated methodologies. This effectively reduces development productivity and complicates achieving predictable system properties.The COCONUT project thus focuses on the definition of a formal framework based on a tight integration of design and verification through all r ...
Voir le projet