Distribution of Explicit-State LTL Model-Checking

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

BRIM Luboš BARNAT Jiří

Rok publikování 2003
Druh Článek v odborném periodiku
Časopis / Zdroj Electronic Notes in Theoretical Computer Science
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://www.elsevier.nl/gej-ng/31/29/23/137/23/show/Products/notes/index.htt
Obor Informatika
Klíčová slova model-checking; distribution; verification
Popis We give a brief summary of recent achievements in research related to the distribution of explicit-state LTL model-checking.
Související projekty:

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