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. You can find more info
Download RODIN
Project Admins:
dissemination, halstefa, lvoisin, thanik
Operating System:
OS Independent (Written in an interpreted language)
License:
Common Public License, Eclipse Public License
Category:
Scientific/Engineering, Software Development
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest News
- B4free Provers 0.8.2 released 2007-09-07
- B4Free provers 0.8.1 released 2007-09-06
- Rodin Platform 0.8.0 released 2007-09-06
Public Areas
-
Bugs
: (37 open / 199 total)
Bug Tracking System -
Support Requests
: (1 open / 9 total)
Tech Support Tracking System -
Patches
: (0 open / 1 total)
Patch Tracking System -
Feature Requests
: (59 open / 91 total)
Feature Request Tracking System - Public Forums : (424 messages in 7 forums)
-
CVS Repository
: (4,458 commits,
136,874 reads)
Browse CVS
Project Details
-
Project Admins :
dissemination
, halstefa, lvoisin, thanik - Developers : 21
- Development Status : 4 - Beta
- Intended Audience : Developers, Information Technology, Science/Research
- License : Common Public License, Eclipse Public License
- Operating System : OS Independent (Written in an interpreted language)
- Programming Language : Java
- Topic : Scientific/Engineering, Software Development
- Translations : English
- User Interface : Eclipse
- Project UNIX name : rodin-b-sharp
- Registered : 2004-05-06 15:07
- Activity Percentile (last week) : 99.86
- View project activity statistics
- View list of RSS feeds available for this project