Home l Brama Tool l Download l Our Demonstrations l Documentation l Links l Contact  


Brama, Graphic tool of modelling applied to the B formal method.

Presentation of Brama Tool

Objective : to put in scene your models developed starting enom the language B.

Motivations : to represent the models, to check that they represent what you "at the head have".

 

 

Last Version of Brama

Brama V0.0.22
Brama is now available in beta version.
Discover this new version.

 

 

 

 

 

 

 

 

 

 

 

 

 

 


Newsletter

Your Mail :  
Subscription   Cancel Subscription

Pursuant to the Law of 06-01-78, you are entitled to access and correct your personal information.