Menu

Home l B News l B Method l R&D Activities l Formal Proof l Publications l B, the different languages l B Tools l Documents B l Tools Forum  l Our Links l Contact  

B Tools

ClearSy makes available to the general public several tools developped during various R&D projects. All these tools are related to modelling or formal proof.

You can too consult the ClearSy's roadmap : ClearSy Roadmap 2007/2008...

programmation ClearSy B Tools

B4FreeB4Free :  
Set of tools used to develop B models.
 

CompoSysBEditor
Eclipse plugin enabling to edit an Atelier B model, with colorization of keywords.

CompoSysClick'n Prove
Atelier B interactive prover interface.
 

RODINRODIN :
Event B development platform. This is its plugins :

    BramaBrama
    Eclipse plugin enabling to animate a RODIN event model.
     

    B2RODINB2RODIN
    Eclipse plugin enabling to import (event B compliant) Atelier B models into RODIN plateform.

    CompoSysCompoSys :
    Tool for formal design of systems architecture.
programmation Outils B externes à ClearSy freelance

B4FreeGenesyst :
Set of classes that use BoB to generate labelled transition systems representing the exact behaviour of an Event B specification or refinement.

B4FreeLa BOB :
Set of Java classes to handle B constructions.
 

 

 

 

 

 


 


 

 

  

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