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

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.

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 Forum B Tools Forum :
The objective of this forum is to exchange informations and discuss the B Tools developped by ClearSy.

News

S'abonner au flux RSS de ClearSy.comRead our 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.