Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.

• Název česky: Akceptující předchůdci v distrubuovaném LTL ověřování modelů
• Autoři: BRIM Luboš; ČERNÁ Ivana; MORAVEC Pavel; ŠIMŠA Jiří
• Rok publikování: 2004
• Druh: Odborná kniha
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: Článek prezentuje nový distribuovaný algoritmus pro ověřování LTL vlastností založený na akceptujících předchůdcích. Je prezentováné několik optimalizací a experimentální výsledky

Související projekty

• Automatizovaná verifikace paralelních a distribuovaných systémů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů