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".

More informations...

Brama Presentation
Download Brama
Download Animation
Demos
Documentation
Links
Contact us

Last Version of Brama

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