Sous l’appellation Coconut (Correct by consrtruction workbench for design and verification of embedded systems) se cache un projet européen de définition d’une plate-forme de conception formelle de systèmes embarqués, des spécifications jusqu’à la compilation logicielle, qui associe les étapes de vérification tout au long du flot. Le programme (3,2 M d’euros) rassemble les sociétés françaises Aerielogic…