Other formats:
BibTeX
LaTeX
RIS
@inproceedings{785938,
author = {Beneš, Nikola and Brim, Luboš and Černá, Ivana and Sochor, Jiří and Vařeková, Pavlína and Zimmerová, Barbora},
address = {Málaga, Spain},
booktitle = {Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08)},
keywords = {component-based systems; Component-Interaction automata; formal verification; LTL; model checking},
language = {eng},
location = {Málaga, Spain},
pages = {221-225},
publisher = {Department of Computer Science, University of Málaga},
title = {The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems},
year = {2008}
}
TY - JOUR
ID - 785938
AU - Beneš, Nikola - Brim, Luboš - Černá, Ivana - Sochor, Jiří - Vařeková, Pavlína - Zimmerová, Barbora
PY - 2008
TI - The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
PB - Department of Computer Science, University of Málaga
CY - Málaga, Spain
KW - component-based systems
KW - Component-Interaction automata
KW - formal verification
KW - LTL
KW - model checking
N2 - The paper presents a modelling and model-checking tool designed for formal verification of interactions among components in hierarchical component-based systems. As distinct from existing verification frameworks, the presented CoIn Tool is able to analyse complex hierarchical models on the fly, and to verify linear temporal properties involving both state and action propositions.
ER -
BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems. In \textit{Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08)}. Málaga, Spain: Department of Computer Science, University of Málaga, 2008. p.~221-225. ISSN~1571-0661.
|
