Language of an Event-B Component

From Event-B
Revision as of 11:10, 20 November 2013 by imported>Laurent (Layout)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Since the introduction of mathematical extensions in Rodin 2.0, Event-B components can use extended version of the Event-B mathematical language. This page described how this is organized in the core platform.

Interface with the Theory Plug-in

Language of Unchecked Components

Language of Generated Files

Language of Proofs