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
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

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved