Difference between revisions of "Event-B Mathematical Language"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (Robot: Changing Category:User Documentation) |
imported>Wohuai |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | + | There are two versions of the mathematical language. | |
| − | + | ||
| − | + | The latest version (V2) has been supported by the Rodin platform since release 1.0.0 and is available in [http://deploy-eprints.ecs.soton.ac.uk/11/4/kernel_lang.pdf PDF format]. | |
| + | |||
| + | The original version (also available in [http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf PDF format]) was used by the Rodin platform up to releases 0.9.x. | ||
| + | |||
| + | The changes between these two versions are summarized in [[Changes_to_the_Mathematical_Language_of_Event-B]]. | ||
| + | |||
| + | Proposals for changes to the mathematical language specification are collected [[Proposals of Changes to the Mathematical Language Specification|here]]. | ||
[[Category:User documentation]] | [[Category:User documentation]] | ||
[[Category:Event-B]] | [[Category:Event-B]] | ||
Revision as of 09:22, 11 January 2010
There are two versions of the mathematical language.
The latest version (V2) has been supported by the Rodin platform since release 1.0.0 and is available in PDF format.
The original version (also available in PDF format) was used by the Rodin platform up to releases 0.9.x.
The changes between these two versions are summarized in Changes_to_the_Mathematical_Language_of_Event-B.
Proposals for changes to the mathematical language specification are collected here.
