Site en français

Federated Center in Verification

Units : Verification and formal methods | ULB512

Description :

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

List of persons in charge :

  • RASKIN Jean-François

List of lessors :

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

  • Autres U.E.