Rodin Platform Welcome Page: Difference between revisions
imported>Pascal |
imported>Nicolas mNo edit summary |
||
| (One intermediate revision by one other user not shown) | |||
| Line 18: | Line 18: | ||
To improve your proof experience, please install the third-party provers from Atelier B. This is only a few mouse-clicks away. Please proceed as follow: | To improve your proof experience, please install the third-party provers from Atelier B. This is only a few mouse-clicks away. Please proceed as follow: | ||
* From the main menu bar, select '''Help | * From the main menu bar, select '''Help > Install New Software...'''. The Install wizard opens. | ||
* Uncheck the '''Group items by category''' check box. | * Uncheck the '''Group items by category''' check box. | ||
* Uncheck the '''Contact all update sites during install to find required software''' check box. | |||
* Click on the '''Work with''' dropdown list and select the Atelier B provers update site. | * Click on the '''Work with''' dropdown list and select the Atelier B provers update site. | ||
* Select '''Atelier B provers''' in the list (tick the left check boxes) and click '''Next'''. | * Select '''Atelier B provers''' in the list (tick the left check boxes) and click '''Next'''. | ||
| Line 27: | Line 28: | ||
</div> | </div> | ||
[[Category:User documentation]] | |||
[[Category:Rodin Platform]] | |||
Latest revision as of 16:45, 20 April 2010
The Rodin Platform
Rodin is an open tool platform for the cost effective rigorous development of dependable complex software systems and services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
This platform contributes to the Eclipse framework and is extensible using the Eclipse plug-in mechanism.
Rodin development has been partly funded by the European Commission through two RTD projects:
- project Rodin (FP6 IST project 511599), from September 2004 to October 2007,
- project Deploy (FP7 IST project 214158), since February 2008.
More information about this platform can be found on the Event-B.org web site, including user and developer documentation available as a Wiki.
The development of this platform is hosted by SourceForge.
Important Installation notes
For Gnome users, recent versions of GTK introduce a bug that makes buttons not always respond to clicks. Explanations and workaround here.
To improve your proof experience, please install the third-party provers from Atelier B. This is only a few mouse-clicks away. Please proceed as follow:
- From the main menu bar, select Help > Install New Software.... The Install wizard opens.
- Uncheck the Group items by category check box.
- Uncheck the Contact all update sites during install to find required software check box.
- Click on the Work with dropdown list and select the Atelier B provers update site.
- Select Atelier B provers in the list (tick the left check boxes) and click Next.
- After some time, the Install window opens. Just click Next, and accept the terms in the license agreement.
- Click Finish. The update manager downloads the Atelier B Provers feature.
- Finally, in the next window, click Yes to restart the platform.
