Model Checking of RegCTL

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Ověřování pro RegCTL
Autoři

ČERNÁ Ivana BRÁZDIL Tomáš

Rok publikování 2006
Druh Článek v odborném periodiku
Časopis / Zdroj Computing and Informatics
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova model checking; RegCTL temporal logic
Popis Práce se věnuje rozšíření temporální logiky CTL o regulární operátory. Výslední logika je expresivnější než CTL a komplikované vlastnosti v můžou být vyjádřeny v přehlednější formě. Pro logiku RegCTL je v práci navržen lokální distribuovaný algoritmus ověřování.
Související projekty:

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