Links

Atelier B :
Industrial tool enabling the operational use of Method B for proven software development.

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

Brama :
Animation tool for models undergoing development.

CompoSys :
Tool for formal design of systems architecture.

BMethod :
Site about the B method, a formal method with proof

B Tools Forum :
Discuss the B tools developed by ClearSy.

Fersil :
ClearSy's Offers in the Railway System Sector

ComenC - All right reserved
ClearSy System Engineering - Parc de la Duranne - 320 av. Archimède - Les Pléïades III Bat A - 13857 AIX EN PROVENCE CEDEX 3
Tel : 04 42 37 12 70 - Fax : 04 42 37 12 71 - contact@clearsy.com