Distribution of Explicit-State LTL Model-Checking

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	BRIM Luboš BARNAT Jiří
Year of publication	2003
Type	Article in Periodical
Magazine / Source	Electronic Notes in Theoretical Computer Science
MU Faculty or unit	Faculty of Informatics
Citation	BRIM, Luboš and Jiří BARNAT. Distribution of Explicit-State LTL Model-Checking. Editors Thomas Arts, Wan Fokking. Electronic Notes in Theoretical Computer Science. Elsevier Science, 2003, Volume 80, No 1, p. 120-125.
web	http://www.elsevier.nl/gej-ng/31/29/23/137/23/show/Products/notes/index.htt
Field	Informatics
Keywords	model-checking; distribution; verification
Description	We give a brief summary of recent achievements in research related to the distribution of explicit-state LTL model-checking.
Related projects:	Automated Verification of Parallel and Distributed Systems Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing