show / hide section
Application Details - Learn about the application

edit info

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   [edit]

Project Details   [edit]

Project Resources   [edit]

Attribution: Information obtained from users, and repositories like FLOSSmole, Wikipedia, Apache, Codehaus, Tigris and several others. Please inform us of any errors, objections or omissions. You can find our terms of service here.
more details


rodin-b-sharp

Open tool platform for the cost effective rigorous development of dependable complex softw...
OStatic Users 0
Stories 0
Questions 0
open
Copy and paste the following script code into the HTML source of the site where you want this widget to appear.
<script type="text/javascript"> ostaticv='i=61417&t=badge&h=130&w=300'; </script> <script src="http://ostatic.com/ostatic.js" type="text/javascript"> </script>

Application Users

Be the first to add!
Sponsor Gallery

show / hide section
Screenshots & Screencasts - See the Application in action

Top
add screenshot
add screenshot

show / hide section
Alternatives - Suggested alternatives to this software

Top
add alternative

show / hide section
News Central - Stay informed with Application-related news

Top

Share a valuable story about this application with the OStatic Community.

Suggest Article
Captcha Image: you will need to recognize the text in it.

Career Center

Web Designer/Developer
Posted: Aug. 6, 2008

Classic ASP Web Developer
Posted: Aug. 6, 2008

Seo Master
Posted: Aug. 6, 2008

Windows XP Expert
Posted: Aug. 6, 2008

PHP, smarty tag developer
Posted: Aug. 6, 2008

Job Listing Provided by oDesk

Search oDesk Jobs

3,700+ Available Jobs


show / hide section
Questions - Get Answers and Share Your Expertise

Top
show / hide section

Application-Related Questions

Ask the OStatic community your question about this software.

Ask A Question

Search oDesk Experts

Need help with your project? 66,000+ experts await your request at oDesk

show / hide section
Reviews - Learn from members' experience and share your own

Top
show / hide section

Application Reviews

image

Add A Review