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. (This Description is auto-translated) Try to translate to Japanese Show Original Description
Download
Windows rodin-2.7-win32.win32.x86_64.zip (Date: 2012-10-31, Size: 68.0 MB)
Mac rodin-2.7-macosx.cocoa.x86_64.zip (Date: 2012-10-31, Size: 67.6 MB)
Linux rodin-2.7-linux.gtk.x86_64.zip (Date: 2012-10-31, Size: 68.1 MB)
BSD rodin-2.7.r15250-sources.zip (Date: 2012-10-31, Size: 13.3 MB)
Solaris rodin-2.7.r15250-sources.zip (Date: 2012-10-31, Size: 13.3 MB)
No Image posted. Post new screenshot
Review
Your rating for RODIN |
 Project Informations
Software Map
Related ProjectsSearch Keywordsdownload, for, rodin, org.eclipse.ui, org.eclipse.ecf.provider, org.eclipse.equinox.p2, org.eclipse.jface, org.eclipse.osgi_3.7.2.v20120110-1415.jar, org.eclipse.swt.cocoa.macosx.x86_64_3.7.2.v3740f.jar, org.eclipse.swt.win32.win32.x86_64_3.7.2.v3740f.jar, org.eclipse.ui.workbench.compatibility_3.2.100.i20110413-1600, org.eventb.core.ast_2.7, ch.ethz.eventb.qualprob, 源码下载, extensions1.0.4.jar ... |
