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.
|