Develop and Download Open Source Software

RODIN

Mirror server info

Download of org.eclipse.update.core.win32_3.2.200.v20100512.jar (86,329 bytes/MD5: a08c84852599bde709656d62d4a389ae) should begin shortly. If not so, try to click org.eclipse.update.core.win32_3.2.200.v20100512.jar.

Project 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.

Search Keywords

No Data
About SourceForge.JP
Find Software
Develop Software
Community
Help
SourceForge.JP is a Japanese version of SourceForge.net. For developments that are not related to Japan, we recommend you to use SourceForge.net.