How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
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

BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří

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

Fakulta informatiky

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info