2. Méthodes formelles
Ce département partage en toute liberté des concepts, des techniques et des outils communs. Il développe des sujets de recherche tels que la contribution aux logiques et aux théories de preuve, des techniques pour la vérification des systèmes réactifs et distribués, la virologie et la sûreté.
Responsable du département :
Équipes :
CARBONE (équipe en cours de création)
DEDALE
MOCQUA
MOSEL-VERIDIS
PESTO
TYPES
Mots-clés :
Logique, modèles de calcul, modèles de programmation, réécriture, modélisation, spécification, sûreté, sécurité, validation, vérification.
