Event-B Mathematical Language

From Event-B
Revision as of 08:43, 7 April 2009 by Laurent (talk | contribs) (Math lang V2)
Jump to: navigation, search

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.