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 :

Horatiu Cirstea

Équipes :

CARTE
CARBONE (équipe en cours de création)
DEDALE
MOSEL-VERIDIS
PAREO
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.

Voir le site web du département

En ce moment

Logo du CNRS
Logo Inria
Logo Université de Lorraine