Použití akceptujících předchůdců u distribuovaného ověřování LTL vlastností modelu
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F04%3A00011071" target="_blank" >RIV/00216224:14330/04:00011071 - 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
Using Accepting Predecessors in Distributed LTL Model-Checking
Popis výsledku v původním jazyce
We present a new distributed-memory algorithm for enumerative LTL model-checking that is designed to be run on a cluster of workstations communicating via MPI. The detection of accepting cycles is based on computing maximal accepting predecessors and thesubsequent decomposition of the graph into independent predecessor subgraphs induced by maximal accepting predecessors. The influence of the ordering on the algorithm performance is open as future work.
Název v anglickém jazyce
Using Accepting Predecessors in Distributed LTL Model-Checking
Popis výsledku anglicky
We present a new distributed-memory algorithm for enumerative LTL model-checking that is designed to be run on a cluster of workstations communicating via MPI. The detection of accepting cycles is based on computing maximal accepting predecessors and thesubsequent decomposition of the graph into independent predecessor subgraphs induced by maximal accepting predecessors. The influence of the ordering on the algorithm performance is open as future work.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA201%2F03%2F0509" target="_blank" >GA201/03/0509: Automatizovaná verifikace paralelních a distribuovaných systémů</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2004
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
MOVEP'04: 6th school on MOdeling and VErifying parallel Processes
ISBN
—
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
122-129
Název nakladatele
Universite Libre de Bruxelles
Místo vydání
Bruxelles, Belgium
Místo konání akce
Universite Libre de Bruxelles
Datum konání akce
1. 1. 2004
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—