The project ADHOC is concerned with the development of a didactic and user-friendly "click'n'prove" interface for the prover component of the Atelier B (supporting Abrial's B method). The novel interface is validated on an industrial case study in cooperation with TDF within the EQUAST project.

Contact: Dominique Cansell

Duration: october 2001 - october 2003

Support: QSL project on quality and safety of computerized systems


  • LIEN Laboratoire d'Instrumentation et d'Electronique de Nancy, Architecture group
  • ClearSy, Aix-en-Provence
  • TDF-C2R, Metz
Project page: detailed description