Home | News - Presentation | Tutorial | Documents | Download | Installation | Links | Contact
|

B Links

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

 
 

BramaBrama :
Animation tool for models undergoing development.

 
 

ComenCComenC :
The ComenC translator allows for B0 implementations to be translated into C language.

 
 

CompoSys CompoSys :
Tool for formal design of systems architecture.