Distribution of Explicit-State LTL Model-Checking

• Autoři: BRIM Luboš; BARNAT Jiří
• Rok publikování: 2003
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Electronic Notes in Theoretical Computer Science
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://www.elsevier.nl/gej-ng/31/29/23/137/23/show/Products/notes/index.htt
• Obor: Informatika
• Klíčová slova: model-checking; distribution; verification
• Popis: We give a brief summary of recent achievements in research related to the distribution of explicit-state LTL model-checking.

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ů