Community Research and Development Information Service - CORDIS

FP5

MATISSE Report Summary

Project ID: IST-1999-11435
Funded under: FP5-IST
Country: France

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

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