Sujets de recherche - VERTICS

Les sujets de recherche de l'équipe VERTICS ont trait :

• Au couplage des approches formelles et « métier »,
• Aux techniques de description et de vérification des sytèmes temps réels et hybrides
• À la représentation symbolique d'espaces d'états,
• À la réduction de l'explosion combinatoire,
• À la parallélisation des algorithmes de model-checking.