Introductory paper: Parallel and Distributed Model Checking

• Název česky: Úvodní článek: Paralelní a distribuované ověřování modelu
• Autoři: BRIM Luboš; GRUMBERG Orna
• Rok publikování: 2005
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: International Journal on Software Tools for Technology Transfer (STTT)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: model-checking
• Popis: Speciální číslo věnované vybraným příspěvkům z mezinárodního workshopu PDMC 2002. Článek podává stručný úvod do problematiky.

Související projekty

• Automatizovaná verifikace paralelních a distribuovaných systémů
• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy