ADHOC
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 CansellDuration: october 2001 - october 2003
Support: QSL project on quality and safety of computerized systems
Partners:
- LIEN Laboratoire d'Instrumentation et d'Electronique de Nancy, Architecture group
- ClearSy, Aix-en-Provence
- TDF-C2R, Metz