Unités

Méthodes formelles et vérification

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.

Projets

Cette personne ne fait actuellement pas partie d'un projet.