Home | B News | B Method | R&D Activities | Formal Proof | Publications | Conferences | B, the different languages | Open Source Projects | B Tools | Documents | 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 Open Source Projects freelance

Open Source Projects Open Source Projects :
Platform development of our open-source projects.


News


[ 09-03-10 ] :
08h33 - Workshop on B Dissemination

[ 08-02-10 ] :
14h32 - ClearSy Announces Participation in FMICS 2010

[ 16-12-09 ] :
16h26 - ClearSy is organizing the "B Dissemination Day" workshop in Tokyo

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.