Distribution of Explicit-State LTL Model-Checking

Warning

This publication doesn't include Faculty of Arts. 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
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