VERIFAB

ANALYSIS AND VERIFICATION OF HETEROGENEOUS CONTRACTS FOR CORRECT BY CONSTRUCTION ORCHESTRATION IN AUTOMATED FACTORIES
  • Véhicules, Usages & Industrialisation (VUI)

Objectifs

Le but de ce projet est de développer un environnement de vérification permettant de valider la performance et la sécurité des modules autour de l’usine automatisée.

Consortium projet

PILOTE : INRIA