Links

Atelier B

Industrial tool enabling the operational use of Method B for proven software development. Training available in understanding and using B.

Url : http://www.atelierb.eu

B4Free

Academic tool enabling the operational use of Method B for proven software development.

Url : http://www.b4free.com

Brama

Animation tool for models undergoing development.

Url: http://www.brama.fr

Coppilot

Site dedicated to the control system of the landing doors at the Invalides and St Lazare stations

Url: http://www.coppilot.fr - Url:ClearSy