Snook, Colin, Hoang, Thai Son and Morris, Karla (2020) Dataset for "Formal verification of run-to-completion style statecharts using Event-B". University of Southampton doi:10.5258/SOTON/D1475 [Dataset]
Record type:
Dataset
Abstract
Formal models and verification for case study supporting paper "Formal verification of run-to-completion style statecharts using Event-B" accepted for the Detect 2020 workshop. SCXML model, generated Event-B, LTL expression for temporal verification
Archive
Drone19EventB_BAT.zip
- Model
Available under License Creative Commons Attribution.
Download (3MB)
More information
Published date: 30 January 2020
Related URLs:
Keywords:
Event-B, Statecharts, Refinement
Identifiers
Local EPrints ID: 443884
URI: http://eprints.soton.ac.uk/id/eprint/443884
PURE UUID: e105b032-da02-42d8-b981-5da2d20227f1
Catalogue record
Date deposited: 16 Sep 2020 16:33
Last modified: 06 May 2023 01:50
Export record
Altmetrics
Contributors
Creator:
Colin Snook
Creator:
Thai Son Hoang
Creator:
Karla Morris
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.