Introductory paper: Parallel and Distributed Model Checking

Warning

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

Authors	BRIM Luboš GRUMBERG Orna
Year of publication	2005
Type	Article in Periodical
Magazine / Source	International Journal on Software Tools for Technology Transfer (STTT)
MU Faculty or unit	Faculty of Informatics
Citation
Field	Informatics
Keywords	model-checking
Description	This special section is devoted to a selection of contributions originally presented at the 1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002), which took place in Brno, Czech Republic in September 2002 as a satellite event of the 13th conference on concurrency theory (CONCUR 2002). A short introduction to parallel and distributed model checking is presented.
Related projects:	Automated Verification of Parallel and Distributed Systems Institute for Theoretical Computer Science Highly Parallel and Distributed Computing Systems