Screenshots
Description
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
Update Notifications
User Ratings
User Reviews
-
Rodin-b-sharp is great! Thanks.
-
I am not able to see the video of these tutorials. If I could it is really a good job
-
Awesome work! Very useful!
-
I love this software. New wiki in the making too, so should be easier for new users to get going. Give it a try, you won't regret it :)
-
excellent work!
-
One of the first utilities I load on every new PC.