Proofer

PREDIT, 2006-2008

Build and validate a formal model for the environment of a signalling system, including human aspects.

VERIMAG/Synchrone People involved

— Paul Caspi
— Paolo Torrini
— Pascal Raymond
— Erwan Jahier

Partners

  • RATP
  • Alcatel
  • Prover Technology