| VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC and Ivana ČERNÁ. Formal verification of systems with an unlimited number of components. IET Software journal. Inst. of Engeneering and Technology, 2008, Volume 2, Isuue 6, p. p. 532-546, 15 pp. ISSN 1751-8806. |
Other formats:
BibTeX
LaTeX
RIS
@article{800041,
author = {Vařeková, Pavlína and Zimmerová, Barbora and Moravec, Pavel and Černá, Ivana},
article_number = {Isuue 6},
keywords = {Component-based systems; dynamic number of components; infinite-state systems; formal verification},
language = {eng},
issn = {1751-8806},
journal = {IET Software journal},
title = {Formal verification of systems with an unlimited number of components},
url = {http://scitation.aip.org/dbt/dbt.jsp?KEY=ISEOB7&Volume=2&Issue=6},
volume = {Volume 2},
year = {2008}
}
TY - JOUR
ID - 800041
AU - Vařeková, Pavlína - Zimmerová, Barbora - Moravec, Pavel - Černá, Ivana
PY - 2008
TI - Formal verification of systems with an unlimited number of components
JF - IET Software journal
VL - Volume 2
IS - Isuue 6
SP - p. 532-546
EP - p. 532-546
PB - Inst. of Engeneering and Technology
SN - 17518806
KW - Component-based systems
KW - dynamic number of components
KW - infinite-state systems
KW - formal verification
UR - http://scitation.aip.org/dbt/dbt.jsp?KEY=ISEOB7&Volume=2&Issue=6
N2 - In the paper, we focus on control-user parametrised systems. We present an extended version of a fully automatic algorithm which we introduced in our previous paper.
ER -
VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC and Ivana ČERNÁ. Formal verification of systems with an unlimited number of components. \textit{IET Software journal}. Inst. of Engeneering and Technology, 2008, Volume 2, Isuue 6, p.~p. 532-546, 15 pp. ISSN~1751-8806.
|
