Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Foster, Simon David orcid.org/0000-0002-9889-9514, Baxter, James Edward, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (2 more authors) (2018) Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. In: Ölveczky, Peter Csaba and Bae, Kyungmin, (eds.) 15th International Conference on Formal Aspects of Component Software. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , pp. 137-155.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Keywords: cs.LO
Dates:
  • Accepted: 8 August 2018
  • Published: 5 October 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 10 Aug 2018 10:50
Last Modified: 21 Nov 2019 08:57
Published Version: https://doi.org/10.1007/978-3-030-02146-7_7
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Refereed: No
Identification Number: https://doi.org/10.1007/978-3-030-02146-7_7
Related URLs:

Downloads

Filename: 1807.08588.pdf

Description: Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Share / Export

Statistics