Home l News l Presentation l Tutorial l Documents l Download l Installation l Links l Contact   -

Academic tool enabling the operational use of Mehod B for proven software development.

What is B4Free ?

B4free is a set of tools for the development of B models.

B4Free, is the single-user version of Atelier B with the capability of generating code C with ComenC translator. Components are limited to 4000 proof obligations.

B4Free is mainly aimed at the university academic environment but also anyone wishing to become initiated into B tools.

 

 

  

B4Free News

Free Version of Atelier B...

Version 4 of Atelier B will be free for everyone when it is launched at the end of 2008.  The version currently being prepared and tested internally will be made available to a few volunteer users between... (more informations...)

02/07/2008

ClearSy Web Sites and Formal Tools...

ClearSy, specialist in Safety Critical Systems Atelier B Brama.fr CompoSys.eu Traducteur ComenC B Method.com Fersil.fr DOF1.eu

Newsletter

E-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