Informace o publikaci
On Combining Partial Order Reduction with Fairness Assumptions
| Název česky | Kombinace redukce pomocí reprezentantů s fairness předpoklady |
|---|---|
| Autoři | |
| 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 | |
| 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: |