Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{407737,
author = {Barnat, Jiří},
address = {Milovy,Czech Republic},
booktitle = {SOFSEM 2002 Student Research Forum Proceedings},
keywords = {Distribute LTL model-checking; Negative Claim Automaton},
language = {eng},
location = {Milovy,Czech Republic},
pages = {9-14},
publisher = {Slovak University of Technology},
title = {How to distribute LTL model-checking using decomposition of negative claim automaton},
year = {2002}
}
TY - JOUR
ID - 407737
AU - Barnat, Jiří
PY - 2002
TI - How to distribute LTL model-checking using decomposition of negative claim automaton
PB - Slovak University of Technology
CY - Milovy,Czech Republic
KW - Distribute LTL model-checking
KW - Negative Claim Automaton
N2 - We propose a distributed algorithm for model-checking LTL formulas that works on a network of workstations and effectively uses the decomposition of the formula automaton to strongly connected components to achieve more efficient distribution of the verification problem. In particular, we explore the possibility of performing a distributed nested depth-first search algorithm.
ER -
BARNAT, Jiří. How to distribute LTL model-checking using decomposition of negative claim automaton. In \textit{SOFSEM 2002 Student Research Forum Proceedings}. Milovy,Czech Republic: Slovak University of Technology, 2002, s.~9-14.
|
