Analysis and VERification for the Reliability Of Embedded Systems¹

Vérification de propriétés quantitatives et fonctionnelles

• Introduction
• Objectifs de recherche technologique du projet
  • Etat de l'art et intérêt du projet
  • Innovation technologique et recherche développées pour le projet
• Objectifs industriels du projet
  • Marché et intérêt du projet
  • Type d'exploitation envisagée, diffusion des résultats et retombées économiques
• Organisation du projet
  • Partenariat
  • Organisation du partenariat dans le projet
• Description technique du projet
  • Lot 1 : architecture, intégration
  • Lot 2 : applications
  • Lot 3 : test, animation
  • Lot 4 : technologie de modélisation
  • Lot 5 : technologie de vérification
• Références
• Résultats du projet et retombées

Ce document a été traduit de L^AT_EX par H^EV^EA et H^AC^HA.