On Combining Partial Order Reduction with Fairness Assumptions

Varování

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

Název česky	Kombinace redukce pomocí reprezentantů s fairness předpoklady
Autoři	BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří
Rok publikování	2006
Druh	Článek ve sborníku
Konference	Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	partial order reduction; fairness; LTL model checking
Popis	Je prezentován nový přístup kombinace redukce pomocí reprezentantů a fairness podmínek v kontextu ověřování LTL vlastností modelu. Je zadefinováno několik tříd chování popisující typické fairness přepoklady a dokázáno, jak jednotlivé redukční techniky zachovávají tyto třídy. Zejména je uvažován případ, kdy redukce zachovávají všechna chování a redukce zachovávající jen některá z nich.
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