B 2005

Distributed Memory LTL Model Checking (Ph.D. Thesis)

BARNAT, Jiří

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

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

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 23. 6. 2009 14:36, prof. RNDr. Jiří Barnat, Ph.D.

Anotace

ORIG CZ

V originále

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.

Č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.