BARNAT, Jiří. Distributed Memory LTL Model Checking (Ph.D. Thesis). Online. Brno: Masarykova Universita, 2005. 170 pp. PhD Thesis. [citováno 2024-04-23]
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Distributed Memory LTL Model Checking (Ph.D. Thesis)
Name in Czech Ověřování modelu formulemi LTL v prostředís distribuovanou pamětí
Authors BARNAT, Jiří (203 Czech Republic, guarantor)
Edition Brno, 170 pp. PhD Thesis, 2005.
Publisher Masarykova Universita
Other information
Original language English
Type of outcome Book on a specialized topic
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
Organization unit Faculty of Informatics
Keywords in English Distributed; LTL; Model Checking
Tags distributed, LTL, Model checking
Tags International impact, Reviewed
Changed by Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 23/6/2009 14:36.
Abstract
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.
Abstract (in Czech)
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.
PrintDisplayed: 23/4/2024 23:13