Model Checking of RegCTL

• 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
• 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

• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Vysoce paralelní a distribuované výpočetní systémy
• Automatizovaná verifikace softwaru