Transforming Event-B models to Dafny contracts


Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) Transforming Event-B models to Dafny contracts At 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), United Kingdom. 01 - 04 Sep 2015.

Download

[img] PDF article-cameraready.pdf - Accepted Manuscript
Download (377kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), United Kingdom, 2015-09-01 - 2015-09-04
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Organisations: Electronic & Software Systems
ePrint ID: 380873
Date :
Date Event
August 2015Accepted/In Press
September 2015Published
Date Deposited: 25 Sep 2015 07:48
Last Modified: 17 Apr 2017 05:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/380873

Actions (login required)

View Item View Item