Tool Support for Event-B Code Generation

Edmunds, Andrew and Butler, Michael (2010) Tool Support for Event-B Code Generation. In, WS-TBFM2010

This is the latest version of this item.


[img] PDF - Published Version
Download (106Kb)


The Event-B method is a formal approach to modelling systems, using refi�nement. Initial specifi�cation is done at a high level of abstraction; detail is added in refi�nement steps as the development proceeds toward implementation. In previous work we developed an approach to bridge the gap between abstract specifi�cations and implementations using an implementation level specifi�cation notation. In this paper we present details of the tool support for our notation and some of our experiences using the tool.

Item Type: Conference or Workshop Item (Paper)
Keywords: Event-B Tools, Code Generation, Concurrency
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 270824
Date Deposited: 13 Apr 2010 09:03
Last Modified: 27 Mar 2014 20:15
Further Information:Google Scholar

Available Versions of this Item

Actions (login required)

View Item View Item