New versions are now available on the Soton Update Site. No longer supported - use new UML-B from Soton update site instead Provides a synchronised copy of Machines and Contexts for committing into a repository. No longer supported - use CamilleX instead. No longer supported - use CamilleX instead Needs updating to be compatible with changes in Rodin 3.5
Will be up-issued on Soton update site.)Ĭomponent based simulation.
Mainly useful for Plug-in developers.Ĭomponent diagrams with timed channels. Tree-structured editor for Event-B EMF that handles extensions without modification. Generates a Latex documentation of the Event-B Improves chance of automatic proof by selecting relevant hypotheses Installation and Release Notes can be found here Current plug-ins Rodin Update Site The current version of Rodin release is 3.7.
0 kommentar(er)
