Bmethod : presentation of BMethod, B Language, and formal methods.

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 l B Tools Forum l Our Links l Contact

Read our RSS Feed

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

B Method and B Tools

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

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

Brama :
Animation tool for models undergoing development.

CompoSys :
Tool for formal design of systems architecture.

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

B Method

	B Method : Presentation
	B News
	B Projects (R&D Activities)
	B Tools and B Plugins
	Formal Proof
	Publications

Communicating about B

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

Actualités

DASIA 2008, at Palma de Majorca :
ClearSy will participate in the DASIA 2008 (DAta Systems in Aerospace) conference to be held between May 27 and 30, 2008...
Conference on Formal Methods,Finland :
Formal Methods Europe has organized an international conference on formal methods to be held from May 26 to 30...
Conference : The B Method, Nantes, France :
The university of Nantes has organized a conference on the B Method...

Read ou RSS Feed

Subscription Cancel Subscription
You specifically use the following ClearSy tools...

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