Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{589662,
author = {Barnat, Jiří and Brim, Luboš and Černá, Ivana},
address = {Amsterdam},
booktitle = {Formal Methods for Components and Objects},
keywords = {distributed LTL model checking},
language = {eng},
location = {Amsterdam},
pages = {31-35},
publisher = {CWI Amsterdam},
title = {Distributed Analysis of Large Systems},
year = {2005}
}
TY - JOUR
ID - 589662
AU - Barnat, Jiří - Brim, Luboš - Černá, Ivana
PY - 2005
TI - Distributed Analysis of Large Systems
PB - CWI Amsterdam
CY - Amsterdam
KW - distributed LTL model checking
N2 - Tutorial lecture giving an overview of explicit distributed algorithms for LTL model checking. The lecture reviews property driven distribution of state spaces, algorithms exploiting breadth firs search, set based algorithms based on the principle One way catch them young and its reverse, accepting predecessoros based approach, dependency structure based depth first search and reduction to the negative cycle problem.
ER -
BARNAT, Jiří, Luboš BRIM a Ivana ČERNÁ. Distributed Analysis of Large Systems. In \textit{Formal Methods for Components and Objects}. Amsterdam: CWI Amsterdam, 2005, s.~31-35, 4 s.
|
