Hudon, Simon, Hoang, Thai Son and Ostroff, Jonathan S. (2016) The Unit-B method: refinement guided by progress concerns. Software and Systems Modeling, 15 (4), 1091-1116. (doi:10.1007/s10270-015-0456-2).
Record type:
Article
Text
unitb-sosym2016
- Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.
Download (588kB)
More information
Accepted/In Press date: 1 February 2015
e-pub ahead of print date: 15 March 2015
Published date: October 2016
Keywords:
Progress properties, Refinement, Fairness, Scheduling, Unit-B, Proof-based formal methods, Verification of cyber-physical systems
Identifiers
Local EPrints ID: 412747
URI: http://eprints.soton.ac.uk/id/eprint/412747
ISSN: 1619-1366
PURE UUID: 66c234be-8e3f-4db3-a988-a0ac864426ea
Catalogue record
Date deposited: 31 Jul 2017 16:31
Last modified: 16 Mar 2024 05:35
Export record
Altmetrics
Contributors
Author:
Simon Hudon
Author:
Thai Son Hoang
Author:
Jonathan S. Ostroff
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.