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
