Almost Linear Büchi Automata

BABIAK, Tomáš; Jan STREJČEK a Vojtěch ŘEHÁK. Almost Linear Büchi Automata. In MEMICS 2010. 2010. ISBN 978-80-87342-10-7.

Základní údaje

Originální název

Almost Linear Büchi Automata

Název česky

Skoro lineární Büchiho automaty

Autoři

BABIAK, Tomáš; Jan STREJČEK a Vojtěch ŘEHÁK

Vydání

MEMICS 2010, 2010

---

Další údaje

Jazyk

angličtina

Typ výsledku

Prezentace na konferencích

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/10:00045184

Organizační jednotka

Fakulta informatiky

ISBN

978-80-87342-10-7

Klíčová slova česky

LTL; logika lineárního času; Büchiho automaty; ověřování modelu

Klíčová slova anglicky

LTL; linear time logic; Büchi Automata; model checking

---

Anotace

V originále

We introduce a new class of Büchi automata (BA) called Almost linear Büchi automata (ALBA) and a corresponding fragment of Linear temporal logic (LTL) called LIO.

Česky

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.

---

Návaznosti

GA201/09/1389, projekt VaV	Název: Verifikace a analýza velmi velkých počítačových systémů Investor: Grantová agentura ČR, Verifikace a analýza velmi velkých počítačových systémů
GD102/09/H042, projekt VaV	Název: 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ů Investor: Grantová agentura ČR, 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ů
GP201/08/P459, projekt VaV	Název: Nové možnosti automatické verifikace síťových protokolů Investor: Grantová agentura ČR, Nové možnosti automatické verifikace síťových protokolů
MSM0021622419, záměr	Název: Vysoce paralelní a distribuované výpočetní systémy Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
MUNI/A/0914/2009, interní kód MU	Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV) Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty