Crossmark

Formal verification and validation of run-to-completion style state charts using Event-B

Crossref DOI link: https://doi.org/10.1007/s11334-021-00416-4

Published Online: 2022-03-04

Published Print: 2022-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Morris, K. http://orcid.org/0000-0002-0146-3176
Snook, C.

Hoang, T. S.

Hulette, G.

Armstrong, R.

Butler, M.
License Information

Text and Data Mining valid from 2022-03-04

Version of Record valid from 2022-03-04
More Information

Article History

Received: 5 January 2021

Accepted: 15 August 2021

First Online: 4 March 2022