How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking

Varování

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

Název česky	Jak se vypořádat s vyšší závislostí v partial order reduction při ověřování LTL vlastností modelu
Autoři	MORAVEC Pavel
Rok publikování	2005
Druh	Článek ve sborníku
Konference	1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace	MORAVEC, Pavel. How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking. In 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Znojmo, Czech Republic: FI MU Report Series, 2005, s. 186-192.
www	http://www.fi.muni.cz/memics05/
Obor	Informatika
Klíčová slova	model checking; partial order reduction; ample sets
Popis	Článek navrhuje novou metodu použití techniky partial order reduction v situacích, kdy standardní postup selže kvůli vyšší závislosti v modelu.
Související projekty:	Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy