Tool Support for Event-B Code Generation


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

This is the latest version of this item.

Download

[img] PDF wstbfm2010_submission_13.pdf - Version of Record
Download (108kB)

Description/Abstract

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)
Venue - Dates: WS-TBFM2010, 2010-02-20
Keywords: Event-B Tools, Code Generation, Concurrency
Organisations: Electronic & Software Systems
ePrint ID: 270824
Date :
Date Event
20 February 2010Published
Date Deposited: 13 Apr 2010 09:03
Last Modified: 17 Apr 2017 18:28
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/270824

Available Versions of this Item

Actions (login required)

View Item View Item