How to distribute LTL model-checking using decomposition of negative claim automaton
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F02%3A00007074" target="_blank" >RIV/00216224:14330/02:00007074 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
How to distribute LTL model-checking using decomposition of negative claim automaton
Popis výsledku v původním jazyce
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
How to distribute LTL model-checking using decomposition of negative claim automaton
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
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)
Ostatní
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
SOFSEM 2002 Student Research Forum Proceedings
ISBN
—
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
9
Název nakladatele
Slovak University of Technology
Místo vydání
Milovy,Czech Republic
Místo konání akce
Milovy Czech Republic, November 27, 2002
Datum konání akce
1. 1. 2002
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
—