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.

Rodin platform download & documentation

[wp_list_bookmarks category_name=”Rodin tools” show_images=”1″ show_description=”1″ show_name=”1″ category_before=”

” category_after=”

“]