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.
- Version of Record
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
|Date Deposited:||13 Apr 2010 09:03|
|Last Modified:||31 Mar 2016 14:17|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Available Versions of this Item
Tool Support for Event-B Code Generation. (deposited 28 Jan 2010 21:09)
- Tool Support for Event-B Code Generation. (deposited 13 Apr 2010 09:03) [Currently Displayed]
Actions (login required)