The Hanoi Omega-Automata Format (2015)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/15:00080919 |
|---|---|
| Název v anglickém jazyce | The Hanoi Omega-Automata Format |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2015 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 2 |
| Počet tvůrců celkem | 8 |
| Počet domácích tvůrců | 4 |
| Výčet všech uvedených jednotlivých tvůrců | Tomáš Babiak (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 9653023) František Blahoudek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1425234) Alexandre Duret-Lutz (státní příslušnost: FR - Francouzská republika) Joachim Klein (státní příslušnost: DE - Spolková republika Německo) Jan Křetínský (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3503054) David Müller (státní příslušnost: DE - Spolková republika Německo) David Parker (státní příslušnost: GB - Spojené království Velké Británie a Severního Irska) Jan Strejček (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3978915) |
| Popis výsledku v anglickém jazyce | We propose a flexible exchange format for omega-automata, as typically used in formal verification, and implement support for it in a range of established tools. Our aim is to simplify the interaction of tools, helping the research community to build upon other people's work. A key feature of the format is the use of very generic acceptance conditions, specified by Boolean combinations of acceptance primitives, rather than being limited to common cases such as Buchi, Streett, or Rabin. Such flexibilityin the choice of acceptance conditions can be exploited in applications, for example in probabilistic model checking, and furthermore encourages the development of acceptance-agnostic tools for automata manipulations. The format allows acceptance conditions that are either state-based or transition-based, and also supports alternating automata. |
| Klíčová slova oddělená středníkem | automata; infinite words; verification |
| Stránka www, na které se nachází výsledek | - |
| DOI výsledku | 10.1007/978-3-319-21690-4_31 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Computer Aided Verification: 27th International Conference, CAV 2015 |
|---|---|
| ISBN | 9783319216898 |
| ISSN | 0302-9743 |
| Počet stran výsledku | 8 |
| Strana od-do | 479-486 |
| Název nakladatele | Springer |
| Místo vydání | Cham |
| Místo konání akce | Cham |
| Datum konání akce | 2015 |
| Typ akce podle státní příslušnosti účastníků | CST - Celostátní |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2016 |
| Specifikace | RIV/00216224:14330/15:00080919!RIV16-MSM-14330___ |
| Datum poslední aktualizace výsledku | 24.05.2016 |
| Kontrolní číslo | 191635902 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2016 | RIV/00216224:14330/15:00080919 v dodávce dat RIV16-GA0-14330___/01:1 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný GA ČR v programu GB | GBP202/12/G061 - Centrum excelence - Institut teoretické informatiky (CE-ITI) (2012 - 2018) |
|---|---|
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace Specifický výzkum na vysokých školách, poskytovatel MŠMT |