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