SVtL is the core of a slicing-based verification environment for UML statechart models. We present an overview of the SVtL software architecture. Special attention is paid to the slicing approach. Slicing reduces the complexity of the verification approach, based on removing pieces of the model that are not of interest during verification. In 18 a slicing algorithm has been proposed for statecharts, but it was not able to handle orthogonal regions efficiently. We optimize this algorithm by removing false dependencies, relying on the broadcasting mechanism between different parts of the statechart model.
%0 Book Section
%1 vanlangenhove_07_svtl
%A Langenhove, Sara Van
%A Hoogewijs, Albert
%D 2007
%J Recent Trends in Algebraic Development Techniques
%K 2007 verification statecharts slicing
%P 142--155
%R 10.1007/978-3-540-71998-4_9
%T SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts
%U http://dx.doi.org/10.1007/978-3-540-71998-4_9
%X SVtL is the core of a slicing-based verification environment for UML statechart models. We present an overview of the SVtL software architecture. Special attention is paid to the slicing approach. Slicing reduces the complexity of the verification approach, based on removing pieces of the model that are not of interest during verification. In 18 a slicing algorithm has been proposed for statecharts, but it was not able to handle orthogonal regions efficiently. We optimize this algorithm by removing false dependencies, relying on the broadcasting mechanism between different parts of the statechart model.
@incollection{vanlangenhove_07_svtl,
abstract = {SVtL is the core of a slicing-based verification environment for UML statechart models. We present an overview of the SVtL software architecture. Special attention is paid to the slicing approach. Slicing reduces the complexity of the verification approach, based on removing pieces of the model that are not of interest during verification. In [18] a slicing algorithm has been proposed for statecharts, but it was not able to handle orthogonal regions efficiently. We optimize this algorithm by removing false dependencies, relying on the broadcasting mechanism between different parts of the statechart model.},
added-at = {2009-02-11T20:54:27.000+0100},
author = {Langenhove, Sara Van and Hoogewijs, Albert},
biburl = {https://www.bibsonomy.org/bibtex/21296881b898a0badf079d4f5a7d4c515/leonardo},
citeulike-article-id = {1402825},
doi = {10.1007/978-3-540-71998-4_9},
interhash = {449ca6d782a4ec84a6a692682d86ca7f},
intrahash = {1296881b898a0badf079d4f5a7d4c515},
journal = {Recent Trends in Algebraic Development Techniques},
keywords = {2007 verification statecharts slicing},
pages = {142--155},
posted-at = {2007-06-21 19:02:47},
priority = {2},
timestamp = {2009-02-11T20:54:27.000+0100},
title = {SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts},
url = {http://dx.doi.org/10.1007/978-3-540-71998-4_9},
year = 2007
}