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.


http://rodin-b-sharp.sourceforge.net





Separate each tag with a space.

Ratings and Reviews

  • Thumbs up:

    5
  • Thumbs down:

    1
83% of 6 users recommend this project
  • Thumbs up

    Super project!

    posted by anonymous 24 days ago
    If you'd like to rate this review, please log in.
  • Thumbs up

    A great project !!!

    posted by Nicolas Beauger 55 days ago
    If you'd like to rate this review, please log in.

View all reviews

Project Feed

Rate and Review

Would you recommend this project?






<

Related Projects

Thanks for your rating!

Would you also like to write a review?





Skip Review