Download of rodin-3.7.0.202203092315-RC1-d4c7516b4-macosx.cocoa.x86_64.tar.gz (rodin-3.7.0.202203092315-RC1-d4c7516b4-macosx.cocoa.x86_64.tar.gz ( external link: SF.net): 103,791,811 bytes) will begin shortly. If not so, click link on the left.
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.