SEB-CG: Code generation tool with algorithmic refinement support for Event-B
SEB-CG: Code generation tool with algorithmic refinement support for Event-B
Dalvandi, Mohammad Sadegh
5e49c22a-9a97-4bc3-864a-4dc8e3704164
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
2019
Dalvandi, Mohammad Sadegh
5e49c22a-9a97-4bc3-864a-4dc8e3704164
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Dalvandi, Mohammad Sadegh, Butler, Michael and Salehi Fathabadi, Asieh
(2019)
SEB-CG: Code generation tool with algorithmic refinement support for Event-B.
Practical Formal Verification for Software Dependability: co-located with the Formal Methods 2019 (FM'19), Portugal.
07 Oct 2019.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2019
Venue - Dates:
Practical Formal Verification for Software Dependability: co-located with the Formal Methods 2019 (FM'19), Portugal, 2019-10-07 - 2019-10-07
Identifiers
Local EPrints ID: 435270
URI: http://eprints.soton.ac.uk/id/eprint/435270
PURE UUID: 6f7f2430-6808-4380-8c48-5fc7979fb23b
Catalogue record
Date deposited: 29 Oct 2019 17:30
Last modified: 14 Aug 2020 01:32
Export record
Contributors
Author:
Mohammad Sadegh Dalvandi
Author:
Michael Butler
Author:
Asieh Salehi Fathabadi
University divisions
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.
View more statistics