We propose a framework for the verification of statecharts. We use the CSP/FDR framework to model complex systems designed in statecharts, and check for system consistency or verify special properties within the specification. We have developed an automated translation from statecharts into CSP and exploited it in both theoretical and practical senses.
%0 Book
%1 roscoe_06_verifying
%A Roscoe, A. W.
%A Wu, Z.
%D 2006
%J Lecture Notes in Computer Science : Formal Methods and Software Engineering
%K _hardcopy 2006 verification statecharts statemate fdr csp
%P 324--341
%R 10.1007/11901433_18
%T Verifying Statemate Statecharts Using CSP and FDR
%U http://dx.doi.org/10.1007/11901433_18
%X We propose a framework for the verification of statecharts. We use the CSP/FDR framework to model complex systems designed in statecharts, and check for system consistency or verify special properties within the specification. We have developed an automated translation from statecharts into CSP and exploited it in both theoretical and practical senses.
@book{roscoe_06_verifying,
abstract = {We propose a framework for the verification of statecharts. We use the CSP/FDR framework to model complex systems designed in statecharts, and check for system consistency or verify special properties within the specification. We have developed an automated translation from statecharts into CSP and exploited it in both theoretical and practical senses.},
added-at = {2009-02-11T20:58:49.000+0100},
author = {Roscoe, A. W. and Wu, Z.},
biburl = {https://www.bibsonomy.org/bibtex/202e011ad66bc9286e08aea643222c9fe/leonardo},
citeulike-article-id = {990026},
description = {http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/115statechartcompiler.csp http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/115.csp},
doi = {10.1007/11901433_18},
interhash = {809d78f197a7bdddea6d213764539fbc},
intrahash = {02e011ad66bc9286e08aea643222c9fe},
journal = {Lecture Notes in Computer Science : Formal Methods and Software Engineering},
keywords = {_hardcopy 2006 verification statecharts statemate fdr csp},
pages = {324--341},
posted-at = {2006-12-12 19:34:14},
priority = {5},
timestamp = {2009-02-11T20:58:49.000+0100},
title = {Verifying Statemate Statecharts Using CSP and FDR},
url = {http://dx.doi.org/10.1007/11901433_18},
year = 2006
}