Inventaire


Site en anglais

Centre Fédéré en Vérification

Unité : Méthodes formelles et vérification | ULB512



Description :


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/

Liste des responsables :


  • RASKIN Jean-François


Liste des bailleurs :


  • Fonds associés (toutes subventions, y compris la Loterie Nat.)

  • Autres U.E.