Faculté / Département ⤶ |
Répertoire par Unités | Répertoire par Projets | Répertoire des Chercheurs |
Répertoire par Collaborations | Classement par Domaines | Classement par Frascati | Disciplines CREF |
Unité : Méthodes formelles et vérification | ULB512
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/
• Fonds associés (toutes subventions, y compris la Loterie Nat.)
• Autres U.E.