Zde se nacházíte:
Informace o publikaci
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Název česky | Uspořádání vrcholů pro distribuované ověřování LTL vlastností modelu založené na akceptujících předchůdcích |
---|---|
Autoři | |
Rok publikování | 2005 |
Druh | Článek ve sborníku |
Konference | Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005) |
Fakulta / Pracoviště MU | |
Citace | |
Obor | Informatika |
Klíčová slova | accepting predecessors; LTL model checking |
Popis | Článek zkoumá problém optimálního uspořádání dříve prezentovaného algoritmu pro distribuované ověřování LTL vlastností modelu a prezentuje několik heuristik pro nalezení optimálního uspořádání v distribuovaném prostředí. |
Související projekty: |
|