Accueil l Actualités B l La Méthode B l Travaux R&D l Preuve Formelle l Publications
B, les différents langages  l Outils B l Documents l B Tools Forum  l Nos Liens l Contact    

Outils B en téléchargement

ClearSy met à disposition de la communauté un ensemble d'outils développés dans le cadre de projets de R&D. Ces outils sont relatifs à la modélisation et à la preuve formelle.

Il vous est également possible de consulter la roadmap de nos outils B en suivant ce lien :
Roadmap 2007/2008 de ClearSy...

programmation Outils B de ClearSy freelance

B4FreeB4Free :  
Outil académique faisant appel à la méthode B pour des développements logiciels prouvés.

CompoSysBEditor
Plugin Eclipse permettant d'éditer un modèle Atelier B avec colorisation des mots-clefs.

CompoSysClick'n Prove
Interface du prouveur interactif de l'Atelier B et de l'outil B4Free.

RODINRODIN :
Plateforme ouverte pour la modélisation et la preuve de systèmes complexes en B événementiel. Il supporte les outils B suivants :

    BramaBrama
    Plugin Eclipse permettant d'animer un modèle événementiel à partir de la plateforme RODIN.

    B2RODINB2RODIN
    Plugin Eclipse permettant d'importer un modèle Atelier B, compatible B événementiel, au sein de RODIN

    CompoSysCompoSys :
    Méthode et outil pour des descriptions formelles de systèmes. Fonctionne également sous RODIN
programmation Outils B externes à ClearSy freelance

B4FreeGenesyst :
Ensemble de classes utilisant la BoB pour générer des systèmes de transitions étiquetés réprésentant le comportement exact d'une spécification ou d'un raffinement B événementiel.

B4FreeLa BOB :
Ensemble de classes Java permettant de manipuler des constructions B

 

 

 

 

 

 

 

 

 

  

  

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