Verification and formal methods (Verif)

Faculty of Sciences | Computer Science

(Code: ULB512)

Person in charges of the unit : MASSART Thierry J., MASSART Thierry, RASKIN Jean-François.

The research and teaching activities of the ''formal methods and verification group'' deal with rigourous methods that allow to design reliable computer
systems. These methods are usually applied in the context of critical systems, such as embedded systems in transportation (trains, planes, cars), plants
control systems, and so forth.

Campus :	Campus de la Plaine
Location :	Campus de la Plaine, Bâtiment NO, 8è étage
Address :	CP212 Bruxelles
Phone number :	+32-2-650.56.14
Fax :	+32-2-650.56.09
E-mail :	Thierry.Massart@ulb.ac.be
Web site :	http://www.ulb.ac.be/di/verif

Disciplines CRef :

• Analysis of data processing systems

• Applied computer science - softwares

• General informatics

• Mathematical informatics

ULB Research ⤶	Description of the Unit	Projects of the Unit	Composition
Collaborations of the Unit	Protected technologies	Publications	Skills