Property Driven Distribution of Nested DFS

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F02%3A00006603" target="_blank" >RIV/00216224:14330/02:00006603 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Property Driven Distribution of Nested DFS
Popis výsledku v původním jazyce
In this paper 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.
Název v anglickém jazyce
Property Driven Distribution of Nested DFS
Popis výsledku anglicky
In this paper 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.

Projekt
<a href="/cs/project/GA201%2F00%2F1023" target="_blank" >GA201/00/1023: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2002
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic
ISBN
—
ISSN
—
e-ISSN
—
Počet stran výsledku
10
Strana od-do
1
Název nakladatele
Dept. of Electronics and Computer Science, University of Southampton
Místo vydání
Pittsburgh, PA, USA
Místo konání akce
Pittsburgh, PA, USA, October 2002
Datum konání akce
1. 1. 2002
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)