Distributed Analysis of Large Systems

• Název česky: Distribuovaná analýza rozsáhlých systémů
• Autoři: BARNAT Jiří; BRIM Luboš; ČERNÁ Ivana
• Rok publikování: 2005
• Druh: Článek ve sborníku
• Konference: Formal Methods for Components and Objects
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: distributed LTL model checking
• Popis: Tutorial poskytující přehled technik a přístupů používaných v explicitním ověřování lineárních temporálních vlstností.

Související projekty

• Verifikace nekonečně stavových systémů
• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Vysoce paralelní a distribuované výpočetní systémy