Detail výsledku

Simulations and Antichains for Efficient Handling of Finite Automata

HOLÍK, L. Simulations and Antichains for Efficient Handling of Finite Automata. Brno: Department of Intelligent Systems FIT BUT, 2011. 128 p.
Typ
dizertace
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D., UITS (FIT)
Klíčová slova

Finite automata, finite tree automata, alternating Büchi automata, nondeterminism,
simulation, bisimulation, universality, language inclusion, antichain,
quotienting, regular tree model checking.

Rok
2011
Strany
128
Vydavatel
Department of Intelligent Systems FIT BUT
Místo
Brno
BibTeX 
@misc{BUT192737,
  author="Lukáš {Holík}",
  title="Simulations and Antichains for Efficient Handling of Finite Automata",
  year="2011",
  pages="128",
  publisher="Department of Intelligent Systems FIT BUT",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/9517/"
}
Soubory
Projekty
Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-10-1, zahájení: 2010-03-01, ukončení: 2010-12-31, ukončen
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ů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT, COST, OC10009, zahájení: 2010-01-01, ukončení: 2012-12-31, řešení
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, zahájení: 2010-01-01, ukončení: 2013-12-31, řešení
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru