page d'accueil   sommaire  

Centre Fédéré en Vérification [Federated Center in Verification]

Le Centre Fédéré en Vérification est un groupe de travail qui regroupe les équipes de recherche actives en vérification assistée par ordinateur en Communauté Wallonie-Bruxelles de Belgique. Il existe depuis 1999 et est financé par le Fonds National de la Recherche Scientifique Belge (convention FRFC n° 2.4530.02) depuis 2002. Le groupe de travail organise des séminaires et donne un cadre officiel aux collaborations de recherche entre les différentes équipes qui le composent. Voir http://www.ulb.ac.be/di/ssd/cfv/ [The CVF is a working group gathering the various teams working on computer aided verification in the Communauté Wallonie-Bruxelles in Belgium. Funded by the FNRS (FRFC 2.4530.02), the group organizes seminars and offer a common and collaborative framework for the various groups in it. See http://www.ulb.ac.be/di/ssd/cfv/]



responsable


Jean-François RASKIN


équipe


Emmanuel FILIOT Pierre GANTY Gilles GEERAERTS Gabriel KALYON SHIRMOHAMMADI MAHSA Thierry MASSART Frédéric SERVAIS


disciplines et mots clés déclarés


Analyse de systèmes informatiques Informatique appliquée logiciel Informatique mathématique

verification assistée par ordinateur