Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction

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	Experimentální porovnání algoritmů ověřujících proviso pro redukci pomocí reprezentantů
Autoři	MORAVEC Pavel
Rok publikování	2006
Druh	Článek ve sborníku
Konference	2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	model checking; partial order reduction; proviso checking
Popis	Článek shrnuje všechny známé algoritmy pro ověřování provisa u redukce pomocí reprezentantů pro ověřování LTL vlastností modelu. Všechny zmíněné algoritmy byly implementovány a experimentálně vyhodnoceny na rozsáhlé sbírce modelů. Experimenty ve většině případů potvrdily teoretická očekávání z porovnání algoritmů.
Související projekty:	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 Automatizovaná verifikace softwaru