Home Page

Who are we ?

The "Centre Fédéré en Vérification" is a working group financed since 2002 by the Belgian National Scientific Research Fund (FRFC 2.4530.02). All the research teams from the french part of Belgium that are interested in computer aided verification are present in the working group. The working group organizes seminars and gives the opportunity for tighter cooperation between the teams of the working group. The CFV publishes, via its web site, technical reports (more than 120 at the moment) that testify of the active research effort among its groups.

The coordinator of the working group is Prof. Jean-François Raskin (ULB)

 

Qui sommes nous ?

Le "Centre Fédéré en Vérification" est un groupe de travail financé, depuis 2002 par le Fonds National Belge de la Recheche Scientifique (FRFC 2.4530.02 : "Conception de systèmes informatiques corrects"). Tous les groupes de recherche de la communauté françophone de Belgique qui sont impliqués dans la recherche en vérification assistée par ordinateur, sont membres du Centre. Le Centre organise des séminaires et offre des opportunités de collaborations plus étroites entre les différentes équipes. Le Centre publie également des rapports techniques (plus de 120 à ce jour), témoins de la vitalité de l'activité de recherche au sein des groupes qui le composent.

Le coordinateur du centre est le Prof. Jean-François Raskin (ULB)