RODIN
Mirror server info
Download of rodin-0.7.2-win32.zip (38,935,437 bytes/MD5: f8d80ff32c8bf7c26f520c352cbd08c0) should begin shortly. If not so, try to click rodin-0.7.2-win32.zip. Project DescriptionOpen 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.Search KeywordsNo Data |