| 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. |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| 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áš (703 Slovensko, garant, domácí), Jan STREJČEK (203 Česká republika, domácí) a Vojtěch ŘEHÁK (203 Česká republika, domácí). |
| Vydání | MEMICS 2010, 2010. |
| Další údaje | |
|---|---|
| Originální 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í |
| 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 |
| Změnil | Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 11. 1. 2011 16:52. |
| Anotace |
|---|
| 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. |
| Anotace č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 | |
VytisknoutZobrazeno: 27. 4. 2024 05:16