Unifying heterogeneous state-spaces with lenses
- Submitting institution
-
University of York
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 54874773
- Type
- C - Chapter in book
- DOI
-
10.1007/978-3-319-46750-4_17
- Book title
- Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings
- Publisher
- Springer Verlag
- ISBN
- 978-3-319-46749-8
- Open access status
- -
- Month of publication
- September
- Year of publication
- 2016
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This publication shows, for the first time, that efficient and rigorous verification tools can be built using very complex and hierarchical state spaces. It is foundational to a large body of research outputs produced since then in building formal verification tools using Unifying Theories of Programming. It is also important background for the CyPhyAssure research programme, which is currently impacting practice in three industrial partners.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -