BARNAT, Jiří. Distributed Memory LTL Model Checking (Ph.D. Thesis). Brno: Masarykova Universita, 2005. 170 s. PhD Thesis.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Distributed Memory LTL Model Checking (Ph.D. Thesis)
Název česky Ověřování modelu formulemi LTL v prostředís distribuovanou pamětí
Autoři BARNAT, Jiří (203 Česká republika, garant).
Vydání Brno, 170 s. PhD Thesis, 2005.
Nakladatel Masarykova Universita
Další údaje
Originální jazyk angličtina
Typ výsledku Odborná kniha
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky Distributed; LTL; Model Checking
Štítky distributed, LTL, Model checking
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 23. 6. 2009 14:36.
Anotace
New time-scalable parallel algorithms for accepting cycle detection problem are presented including technical proofs of soundness and completness of all the algorithms. The algorithms are experimentaly evaluated under DiVinE verification tool.
Anotace česky
Výsledek popisuje nové časově škálovatelné algoritmy pro detekci akceptujících cyklů v grafu včetně jejich důkazů korektnosti. Algoritmy jsou experimentálně vyhodnoceny v nástroji DiVinE.
VytisknoutZobrazeno: 28. 1. 2020 09:22