Almost Linear Büchi Automata

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