From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Wohuai |
|
| 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:Event-B]]
| |
Latest revision as of 20:50, 30 April 2020
