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
RODIN Project
Presentation
The Rodin Project involves the development of an open platform to design systems that tolerate faults. The objective of this three-year project is to develop the future system specification environment with B.
How to Download RODIN
In order to download Rodin, it suffices to follow the instructions available on this page: Rodin B-Sharp.
RODIN User Guide
RODIN Tools and Plugins
|
|
|
