Parallel Model-Checking

• Autoři: BRIM Luboš
• Rok publikování: 2004
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: ERCIM News
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://www.ercim.org/publication/Ercim_News/enw58
• Obor: Informatika
• Klíčová slova: Model Checking
• Popis: A summary of methods and techiques for parallel and distributed model checking of LTL formulae is given.

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ů