How to Cope with Higher Dependency in Partial Order Reduction for LTL 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	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
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