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/