The University of Southampton
University of Southampton Institutional Repository
Warning ePrints Soton is experiencing an issue with some file downloads not being available. We are working hard to fix this. Please bear with us.

Dataset for "Formal verification of run-to-completion style statecharts using Event-B"

Dataset for "Formal verification of run-to-completion style statecharts using Event-B"
Dataset for "Formal verification of run-to-completion style statecharts using Event-B"
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
Event-B, Statecharts, Refinement
University of Southampton
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Morris, Karla
73bbd6d5-9827-4eb9-8719-eb7c4d522039
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Morris, Karla
73bbd6d5-9827-4eb9-8719-eb7c4d522039

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)
Text
README.md.txt - Text
Available under License Creative Commons Attribution.
Download (1kB)

More information

Published date: 30 January 2020
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
ORCID for Colin Snook: ORCID iD orcid.org/0000-0002-0210-0983
ORCID for Thai Son Hoang: ORCID iD orcid.org/0000-0003-4095-0732

Catalogue record

Date deposited: 16 Sep 2020 16:33
Last modified: 18 Sep 2020 01:41

Export record

Altmetrics

Contributors

Creator: Colin Snook ORCID iD
Creator: Thai Son Hoang ORCID iD
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.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×