Informace o publikaci
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 | |
| Rok publikování | 2005 |
| Druh | Odborná kniha |
| Fakulta / Pracoviště MU | |
| Citace | |
| Popis | 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. |