How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors

• Název česky: Uspořádání vrcholů pro distribuované ověřování LTL vlastností modelu založené na akceptujících předchůdcích
• Autoři: BRIM Luboš; ČERNÁ Ivana; MORAVEC Pavel; ŠIMŠA Jiří
• Rok publikování: 2006
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Electronic Notes in Theoretical Computer Science
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: accepting predecessors; LTL model checking
• Popis: Článek zkoumá problém optimálního uspořádání dříve prezentovaného algoritmu pro distribuované ověřování LTL vlastností modelu a prezentuje několik heuristik pro nalezení optimálního uspořádání v distribuovaném prostředí.

Související projekty

• Automatizovaná verifikace paralelních a distribuovaných systémů
• 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