Formal verification of implementations of Stateflow charts

Miyazawa, Alvaro Heiji (2012) Formal verification of implementations of Stateflow charts. PhD thesis, University of York.



Keywords: formal verification, refinement, Circus, Stateflow, formal semantics, graphical notation, state diagram, refinement strategy
Awarding institution: University of York
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID (e.g.
Depositing User: Mr Alvaro Heiji Miyazawa
Date Deposited: 24 May 2012 15:07
Last Modified: 08 Sep 2016 12:21


Share / Export


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.