Inventaire


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 http://www.ulb.ac.be/di/ssd/cfv/

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.