Develop and Download Open Source Software

RODIN

Mirror server info

Download of org.eventb.codegen.IL1.core.edit_0.0.1.201112021652.jar (766,405 bytes/MD5: c009d1c3f5ccbc3a978fff47e621860a) should begin shortly. If not so, try to click org.eventb.codegen.IL1.core.edit_0.0.1.201112021652.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.