Refinement-based verification of sequential implementations of Stateflow charts

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2011) Refinement-based verification of sequential implementations of Stateflow charts. Electronic Proceedings in Theoretical Computer Science. pp. 65-83. ISSN 2075-2180

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: In Proceedings Refine 2011, arXiv:1106.3488
Keywords: cs.LO
Dates:
  • Published: 21 June 2011
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
FunderGrant number
EPSRCEP/E025366/1
Depositing User: Pure (York)
Date Deposited: 14 Jan 2016 11:30
Last Modified: 01 Feb 2024 00:11
Published Version: https://doi.org/10.4204/EPTCS.55.5
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.4204/EPTCS.55.5
Related URLs:

Download

Filename: 1106.4094v1

Description: pdf

Export

Statistics