Refinement-based verification of implementations of Stateflow charts

Research output: Contribution to journal › Article › peer-review

Access to Document

ProCLaws: Programming from Control Laws
Cavalcanti, A. L. C. (Principal investigator)
EPSRC
1/07/07 → 30/09/11
Project: Research project (funded) › Research

@article{562ce85c81a540dc8a3008530b4ed765,

title = "Refinement-based verification of implementations of Stateflow charts",

author = "Miyazawa, {Alvaro Heiji} and Cavalcanti, {Ana Lucia Caneca}",

year = "2014",

doi = "10.1007/s00165-013-0291-6",

language = "English",

volume = "26",

pages = "367--405",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer",

number = "2",

}