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: Článek ve sborníku
• Konference: Formal Methods in Computer-Aided Design (FMCAD)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: distributed - memory LTL model checking; graph predecessors
• 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ů