Description
RODIN is a free and open source platform for the cost effective rigorous development of dependable complex software systems services.
RODIN is based on the event-B formal method and provides natural support for refinement and mathematical proof.
NOTE: RODIN is licensed and distributed under the terms of the Common Public License 1.0 and Eclipse Public License.
User Reviews for RODIN FOR MAC 1
-
for RODIN FOR MAC
RODIN FOR MAC is a powerful tool for developing dependable software systems. Its event-B formal method and mathematical proof support are impressive.