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
[ 09-03-10 ] :
[ 08-02-10 ] :
[ 16-12-09 ] :
|
