Informace o publikaci
Parallel Partial Order Reduction with Topological Sort Proviso
| Název česky | Paralelní redukce částečného uspořádání s využitím topologického třídění |
|---|---|
| Autoři | |
| Rok publikování | 2010 |
| Druh | Článek ve sborníku |
| Konference | Software Engineering and Formal Methods (SEFM 2010) |
| Fakulta / Pracoviště MU | |
| Citace | BARNAT, Jiří, Luboš BRIM a Petr ROČKAI. Parallel Partial Order Reduction with Topological Sort Proviso. In Software Engineering and Formal Methods (SEFM 2010). Los Alamos: IEEE Computer Society Press, 2010, s. 222-231. ISBN 978-0-7695-4153-2. |
| Obor | Informatika |
| Klíčová slova | LTL Model Checking; Partial Order Reduction; Parallel and Distributed Processing; DiVinE |
| Popis | Redukce částečného uspořádání a počítáni v distribuované paměti jsou dvě klíčové techniky pro boj se stavovou explozí v kontextu enumerativní verifikace. Hlavním výsledkem této práce je nový paralelní algoritmus pro výpočet množiny vrcholů pokrývající všechny cykly v grafu, který umožňuje uspokojivou integraci obou klíčových technik. Nová technika byla implementována v rámci nástroje DiVinE. |
| Související projekty: |