RODIN
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
-
I am not able to see the video of these tutorials. If I could it is really a good job