Other formats:
BibTeX
LaTeX
RIS
@book{708116, author = {Barnat, Jiří}, address = {Brno}, keywords = {Distributed; LTL; Model Checking}, language = {eng}, location = {Brno}, publisher = {Masarykova Universita}, title = {Distributed Memory LTL Model Checking (Ph.D. Thesis)}, year = {2005} }
TY - BOOK ID - 708116 AU - Barnat, Jiří PY - 2005 TI - Distributed Memory LTL Model Checking (Ph.D. Thesis) VL - PhD Thesis PB - Masarykova Universita CY - Brno KW - Distributed KW - LTL KW - Model Checking N2 - 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. ER -
BARNAT, Jiří. \textit{Distributed Memory LTL Model Checking (Ph.D. Thesis)}. Brno: Masarykova Universita, 2005, 170 pp. PhD Thesis.
|