Industrial deployment of system engineering methods providing high dependability and productivity

 

Doing Mathematics with the Rodin Platform

Abrial, Jean-Raymond Doing Mathematics with the Rodin Platform. [Rodin Archive]

[img]
Preview
PDF
146Kb
[img]ZIP Archive (Rodin Archive of Well-Ordering Theorem)
44Kb

Abstract

Proof of Well-ordering theorem in Rodin

Item Type:Rodin Archive
Subjects:Methodology > Proof and model checking
Event-B > Event-B Examples
ID Code:138
Deposited By:Michael Butler
Deposited On:22 Jul 2009 18:23
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved