Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.

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 Akceptující předchůdci v distrubuovaném LTL ověřování modelů
Autoři

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

Rok publikování 2004
Druh Odborná kniha
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Popis Článek prezentuje nový distribuovaný algoritmus pro ověřování LTL vlastností založený na akceptujících předchůdcích. Je prezentováné několik optimalizací a experimentální výsledky
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