How to Order Vertices for  Distributed LTL Model-Checking Based on Accepting Predecessors

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Uspořádání vrcholů pro distribuované ověřování LTL vlastností modelu založené na akceptujících předchůdcích
Autoři	BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří
Rok publikování	2005
Druh	Článek ve sborníku
Konference	Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	accepting predecessors; LTL model checking
Popis	Článek zkoumá problém optimálního uspořádání dříve prezentovaného algoritmu pro distribuované ověřování LTL vlastností modelu a prezentuje několik heuristik pro nalezení optimálního uspořádání v distribuovaném prostředí.
Související projekty:	Automatizovaná verifikace paralelních a distribuovaných systémů Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Techniky automatické verifikace a validace softwarových a hardwarových systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy