Other formats:
BibTeX
LaTeX
RIS
@inproceedings{405432,
author = {Brim, Luboš and Crhová, Jitka and Yorav, Karen},
address = {Brno, Czech Republic},
booktitle = {1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002)},
keywords = {verification; model checking},
language = {eng},
location = {Brno, Czech Republic},
isbn = {0444512918},
pages = {80-95},
publisher = {Elsevier},
title = {Using Assumptions to Distribute CTL Model Checking},
year = {2002}
}
TY - JOUR
ID - 405432
AU - Brim, Luboš - Crhová, Jitka - Yorav, Karen
PY - 2002
TI - Using Assumptions to Distribute CTL Model Checking
PB - Elsevier
CY - Brno, Czech Republic
SN - 0444512918
KW - verification
KW - model checking
N2 - In this work we discuss the problem of performing distributed CTL model checking by splitting the given state space into several ``partial 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 the truth of formulas and the computers exchange assumptions about relevant states as they compute more precis
ER -
BRIM, Luboš, Jitka CRHOVÁ and Karen YORAV. Using Assumptions to Distribute CTL Model Checking. In \textit{1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002)}. Brno, Czech Republic: Elsevier, 2002, p.~80-95. ISBN~0444512918.
|
