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

S'abonner au flux RSS de ClearSy.com

Read our RSS Feed

 

B Method Web Site

This site is designed to present different work and subjects for consideration by Clearsy concerning the B method, a formal method with proof.

programmation B Method and B Tools freelance

Atelier B

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

B4Free

B4Free :  
Academic tool enabling the operational use of Method B for proven software development.

Brama

Brama :  
Animation tool for models undergoing development.

CompoSys

CompoSys :
Tool for formal design of systems architecture.

RODIN

RODIN :
Development of an open platform to model and prove complex system in Event B.

 
programmation B Method freelance

B Method : Presentation

B News

B Projects (R&D Activities)

B Tools and B Plugins

Formal Proof

Publications

 
programmation Communicating about B freelance

B Tools ForumB Tools Forum :
The objective of this forum is to exchange informations and discuss the B Tools developped by ClearSy.
 
 

Actualités

  • Atelier B 4.0 :
    The alpha version of the Atelier B 4.0 has been distributed to a small number of users in order to gather comments and opinions concerning the tool...
  • ClearSy’s Open Source Projects :
    In 2008, ClearSy decided to make Atelier B available at no cost in order to favour the dissemination of B. In order to facilitate the appropriation of underlying technologies, a number of Atelier B’s key tools have become open source community projects...  

S'abonner au flux RSS de ClearSy.comRead ou RSS Feed

Newsletter

Mail :

  Subscription Cancel Subscription  

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

 
 

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 - SITE MAP