Voisin, Laurent (2013) Mathematical Language of Event-B Proofs. [Rodin Archive]
![]() |
ZIP Archive
12Kb |
Abstract
This model proves correct the optimisation implemented in Rodin 3.0 for storing the mathematical language in which proofs are written. See http://wiki.event-b.org/index.php/Language_of_an_Event-B_Component for more details on the context of this model.
Item Type: | Rodin Archive |
---|---|
Subjects: | ADVANCE Project Tool developments > Provers Tool developments > Rodin platform Event-B > Event-B Examples |
ID Code: | 464 |
Deposited By: | Laurent Voisin Laurent Voisin |
Deposited On: | 20 Nov 2013 12:45 |
Last Modified: | 20 Nov 2013 12:45 |
Repository Staff Only: item control page