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.
Release Date:
2009-07-01
Topic:
Operating System:
License:
Translations:
Intended Audience:
User Interface:
Programming Language:
Registered:
2004-05-06
Ratings and Reviews
- Thumbs up: 5
- Thumbs down: 1
-
Thumbs up
Super project!
-
Thumbs up
A great project !!!
Project Feed
-
Tracker comment added
nicolas_beauger commented on the error when building new project with a context artifact -
Tracker artifact added
cfsnook created the extensible pretty print etc. artifact -
Tracker artifact added
tshoang created the <= and >= to get = artifact -
Tracker artifact added
tshoang created the Proof by case for <= artifact -
Tracker artifact added
tshoang created the Bijection and cardinality artifact -
Tracker comment added
tshoang commented on the Proving r1 \/ r2 : E <-> F artifact -
Tracker comment added
tshoang commented on the Proving r1 \/ r2 : E <-> F artifact -
Tracker comment added
tshoang commented on the Proving r1 \/ r2 : E <-> F artifact -
Tracker artifact added
tshoang created the Proving r1 \/ r2 : E <-> F artifact -
Tracker artifact added
tshoang created the Simplifying relational image artifact
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
