Model Checking of RegCTL

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	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:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Vysoce paralelní a distribuované výpočetní systémy Automatizovaná verifikace softwaru