Cluster-Based LTL Model Checking of Large Systems

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
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

Citace
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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.