Industrial deployment of system engineering methods providing high dependability and productivity


Mathematical Language of Event-B Proofs

Voisin, Laurent (2013) Mathematical Language of Event-B Proofs. [Rodin Archive]

[img] ZIP Archive


This model proves correct the optimisation implemented in Rodin 3.0 for storing the mathematical language in which proofs are written. See 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

Deploy-Project - All right reserved