BARNAT, Jiří, Luboš BRIM a Jitka STŘÍBRNÁ. Distributed LTL Model-Checking in SPIN. In M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop. Toronto, Canada: Springer Verlag, 2001. s. 200-215. ISBN 3-540-42124-6.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Distributed LTL Model-Checking in SPIN
Autoři BARNAT, Jiří (203 Česko, garant), Luboš BRIM (203 Česko) a Jitka STŘÍBRNÁ (203 Česko).
Vydání Toronto, Canada, M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop, s. 200-215, 2001.
Nakladatel Springer Verlag
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Kanada
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/01:00004189
Organizační jednotka Fakulta informatiky
ISBN 3-540-42124-6
Klíčová slova anglicky model-checking; verification; verification tool
Štítky Model-Checking, verification, verification tool
Změnil Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 22. 11. 2006 16:00.
Anotace
In this paper we propose a distributed algorithm for model-checking LTL. In particular, we explore the possibility of performing nested depth-first search algorithm in distributed SPIN. A distributed version of the algorithm is presented, and its complexity is discussed.
Návaznosti
GA201/00/1023, projekt VaVNázev: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM 143300001, záměrNázev: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
VytisknoutZobrazeno: 7. 7. 2020 02:55