Dalvandi, Mohammad Sadegh and Butler, Michael (2014) Towards verified implementation of Event-B models in Dafny. 5th Rodin User and Developer Workshop, Toulouse, Toulouse, France. 02 - 03 Jun 2014.
Record type:
Conference or Workshop Item
(Other)
More information
Published date: 2014
Venue - Dates:
5th Rodin User and Developer Workshop, Toulouse, Toulouse, France, 2014-06-02 - 2014-06-03
Keywords:
Event-B, Dafny, Formal Methods, Program verification
Identifiers
Local EPrints ID: 419357
URI: http://eprints.soton.ac.uk/id/eprint/419357
PURE UUID: e07fd9a0-0761-444a-b441-821f523dac4a
Catalogue record
Date deposited: 11 Apr 2018 16:30
Last modified: 16 Mar 2024 02:51
Export record
Contributors
Author:
Mohammad Sadegh Dalvandi
Author:
Michael Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.