Cluster-Based LTL Model Checking of Large Systems

• Název česky: LTL ověřování modelu rozsáhlých systémů s využitím počítačových klastrů
• Autoři: BARNAT Jiří; BRIM Luboš; ČERNÁ Ivana
• Rok publikování: 2006
• 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: Přehledová práce shrnující výzkum v oblasti paralelního a distribuovaného ověřování modelu formulemi lineární temporální logiky. Jednotlivé algoritmy jsou teoreticky ale i experimentálně porovnány.

Související projekty

• 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
• Automatizovaná verifikace softwaru