Parallel 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š
Rok publikování	2004
Druh	Článek v odborném periodiku
Časopis / Zdroj	ERCIM News
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://www.ercim.org/publication/Ercim_News/enw58
Obor	Informatika
Klíčová slova	Model Checking
Popis	A summary of methods and techiques for parallel and distributed model checking of LTL formulae is given.
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ů