Publication details
Distributed Memory LTL Model Checking (Ph.D. Thesis)
| Authors | |
|---|---|
| Year of publication | 2005 |
| Type | Monograph |
| MU Faculty or unit | |
| Citation | |
| Description | 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. |