Research groups member of the C.F.V.
- University of Brussels (Université Libre de Bruxelles), Verification group :
- University of Namur (Facultés Universitaires Notre-Dame de la Paix), PRECISE
- University of Liège (Université de Liège)
- University of Mons (Université de Mons-Hainaut)
- University of Louvain (Université Catholique de Louvain)