Distribution of Explicit-State LTL Model-Checking

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Automatizovaná verifikace paralelních a distribuovaných systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů