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.
 |
B Method and B Tools |
 |
|
|
|
|
Atelier B :
Industrial 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 |
|
|
|
|
|
|
|
|
|
News
Warning: include() [function.include]: URL file-access is disabled in the server configuration in /homepages/5/d101319127/htdocs/bmethod.com/index.php on line 209
Warning: include(http://www.bmethod.com/news/titres.php?page=1) [function.include]: failed to open stream: no suitable wrapper could be found in /homepages/5/d101319127/htdocs/bmethod.com/index.php on line 209
Warning: include() [function.include]: Failed opening 'http://www.bmethod.com/news/titres.php?page=1' for inclusion (include_path='.:/usr/lib/php5') in /homepages/5/d101319127/htdocs/bmethod.com/index.php on line 209
 Read our RSS Feed
|
Newsletter
|
