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

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Ölveczky, Peter Csaba
  • Bae, Kyungmin
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:
  • Published: 5 October 2018
  • Accepted: 8 August 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/M025756/1
Depositing User: Pure (York)
Date Deposited: 10 Aug 2018 10:50
Last Modified: 21 Jan 2025 18:24
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)
Identification Number: 10.1007/978-3-030-02146-7_7
Related URLs:
Open Archives Initiative ID (OAI ID):

Downloads

Filename: 1807.08588.pdf

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

Filename: 180708588v2.pdf

Description: 180708588v2

Export

Statistics