RODIN 2.6 / 2.7 RC 1


Developer:

License / Price:

Size / OS:

Last Updated:

Category:
Freeware / $0
66.4 MB / Windows All

C: \ Programming \ Other Programming Files

RODIN is a handy platform designed to help you with 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.

Requirements:

· Java
download button
Via: RODIN 2.6 / 2.7 RC 1
Subscribe to: Post Comments (Atom)