RODIN
by dissemination, halstefa, lvoisin, thanik
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
Project Feed
-
Tracker comment added
lvoisin commented on the Long formulas not broken across lines artifact
-
Code committed
lvoisin committed revision 7354 to the RODIN SVN repository, changing 6 files
-
Tracker comment added
lvoisin commented on the Long formulas not broken across lines artifact
-
Tracker artifact added
lvoisin created the Long formulas not broken across lines artifact
-
Tracker artifact added
lvoisin created the Machine renaming not propagated to extends clauses artifact
-
Code committed
snursmumrik committed revision 7351 to the RODIN SVN repository, changing 1 files
-
Code committed
snursmumrik committed revision 7350 to the RODIN SVN repository, changing 1 files
-
Code committed
snursmumrik committed revision 7349 to the RODIN SVN repository, changing 1 files
-
Code committed
snursmumrik committed revision 7348 to the RODIN SVN repository, changing 1 files
-
Code committed
snursmumrik committed revision 7346 to the RODIN SVN repository, changing 1 files
About SourceForge
Develop Software
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
