Inventaire
Site en anglais
MASSART Thierry J.



Unités


Modélisation structures et matériaux

Responsable d'Unité : Oui


Méthodes formelles et vérification

Responsable d'Unité : Oui

Le service méthodes formelles et vérification consacre ses efforts de recherche et d'enseignement aux méthodes rigoureuses et automatiques qui permettent de concevoir des systèmes informatiques fiables. Ces méthodes trouvent des applications naturelles dans la conception de systèmes informatiques critiques, comme les systèmes de contrôle embarqués dans les moyens de transport (métros, avions, voiture), les systèmes de contrôle de production (dans un cadre industriel), etc.