L obiettivo del progetto FoReVer è la definizione di una linea guida per un approccio sistematico alla verifica delle proprietà di sistemi avionici basate su un approccio Model Driv ... ###>The objective of the project is to provide a guideline on the systematic approach of verification of avionics system level properties around Model Driven Engineering... ...