Site en anglais

Méthodes formelles et vérification (Verif)

Faculté des Sciences | Informatique

(Code: ULB512)


Responsables de l'unité : MASSART Thierry J., MASSART Thierry, RASKIN Jean-François.

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.

Campus : Campus de la Plaine
Localisation : Campus de la Plaine, Bâtiment NO, 8è étage
Adresse : CP212 Bruxelles
Téléphone : +32-2-650.56.14
Fax : +32-2-650.56.09
Email : Thierry.Massart@ulb.be
Site Web : http://www.ulb.ac.be/di/verif


Disciplines CRef :


 • Analyse de systèmes informatiques

 • Informatique appliquée logiciel

 • Informatique générale

 • Informatique mathématique