| BRIM, Luboš, Jitka ŽIDKOVÁ a Karen YORAV. Assumption-based distribution of CTL model checking. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, roč. 7, č. 1, s. 61-73, 14 s. ISSN 1433-2779. 2005. |
Další formáty:
BibTeX
LaTeX
RIS
@article{569689,
author = {Brim, Luboš and Židková, Jitka and Yorav, Karen},
article_number = {1},
keywords = {model-checking},
language = {eng},
issn = {1433-2779},
journal = {International Journal on Software Tools for Technology Transfer (STTT)},
title = {Assumption-based distribution of CTL model checking},
volume = {7},
year = {2005}
}
TY - JOUR
ID - 569689
AU - Brim, Luboš - Židková, Jitka - Yorav, Karen
PY - 2005
TI - Assumption-based distribution of CTL model checking
JF - International Journal on Software Tools for Technology Transfer (STTT)
VL - 7
IS - 1
SP - 61-73
EP - 61-73
PB - Springer-Verlag GmbH
SN - 14332779
KW - model-checking
N2 - In this paper we discuss the problem of performing distributed CTL model checking by splitting the given state space into several ldquopartial state spaces. The partial state space is modelled as a Kripke structure with border states. Each computer involved in the distributed computation owns a partial state space and performs a model-checking algorithm on this incomplete structure. To be able to proceed, the border states are augmented by assumptions about truth values of formulas and the computers exchange assumptions about relevant states to compute more precise information.
ER -
BRIM, Luboš, Jitka ŽIDKOVÁ a Karen YORAV. Assumption-based distribution of CTL model checking. \textit{International Journal on Software Tools for Technology Transfer (STTT)}. Springer-Verlag GmbH, roč.~7, č.~1, s.~61-73, 14 s. ISSN~1433-2779. 2005.
|
