Other formats:
BibTeX
LaTeX
RIS
@inproceedings{406228,
author = {Crhová, Jitka},
address = {Los Alamitos},
booktitle = {The Seventeenth IEEE International Conference on Automated Software Engineering},
keywords = {formal methods; distributed model checking; modular model checking},
language = {eng},
location = {Los Alamitos},
isbn = {0-7695-1736-6},
pages = {312-312},
publisher = {IEEE Computer Society},
title = {Distributed Modular Model Checking (abstract)},
year = {2002}
}
TY - JOUR
ID - 406228
AU - Crhová, Jitka
PY - 2002
TI - Distributed Modular Model Checking (abstract)
PB - IEEE Computer Society
CY - Los Alamitos
SN - 0769517366
KW - formal methods
KW - distributed model checking
KW - modular model checking
N2 - A distributed model checking algorithm is presented. It is designed to be run on a network of workstations that communicate via message passing. The algorithm handles large state spaces by partitioning them into smaller units. Such a partition of state space into partial state spaces can be employed to perform several smaller verification problems independently on several computers increasing thus not only speeding up the verification, but most importantly the available memory. We also suggest partition function that can be used as input to the ditributed algorithm. For software systems a quite successful approach is to partition them following the syntactical structure of the program. Other state based temporal logics and various model checking algorithms can be adapted easily as well.
ER -
CRHOVÁ, Jitka. Distributed Modular Model Checking (abstract). In \textit{The Seventeenth IEEE International Conference on Automated Software Engineering}. Los Alamitos: IEEE Computer Society, 2002, p.~312. ISBN~0-7695-1736-6.
|
