Introductory paper: Parallel and Distributed 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.

Název česky	Úvodní článek: Paralelní a distribuované ověřování modelu
Autoři	BRIM Luboš GRUMBERG Orna
Rok publikování	2005
Druh	Článek v odborném periodiku
Časopis / Zdroj	International Journal on Software Tools for Technology Transfer (STTT)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	model-checking
Popis	Speciální číslo věnované vybraným příspěvkům z mezinárodního workshopu PDMC 2002. Článek podává stručný úvod do problematiky.
Související projekty:	Automatizovaná verifikace paralelních a distribuovaných systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy