Community Research and Development Information Service - CORDIS

Extensions to atelier B

The extensions of Atelier B are intended to offer:
- A support for event driven B, allow using the B language and method for system level modelling. This support is provided by the evt2b tool, which has to be used as an extension of current Atelier B tool.

- An improved way to conduct interactive proof and to reduce related workload. This new human-machine interface is available as a xemacs extension.

Reported by

Europarc de Pichaury 1330, av. G. Gauthier de la Lauzière
13856 Aix en provence Cedex 3
See on map
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top