Almost Linear Büchi Automata

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Skoro lineární Büchiho automaty
Autoři	BABIAK Tomáš STREJČEK Jan ŘEHÁK Vojtěch
Rok publikování	2010
Druh	Další prezentace na konferencích
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	V článku zavádíme novou třídu Büchiho automatů (BA), která se nazývá Almost linear Büchi automata (ALBA) a příslušný fragment logiky lineárního času (LTL) s názvem LIO.
Související projekty:	Vysoce paralelní a distribuované výpočetní systémy Nové možnosti automatické verifikace síťových protokolů Verifikace a analýza velmi velkých počítačových systémů Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů Rozsáhlé výpočetní systémy: modely, aplikace a verifikace