Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Fiedor, Tomáš"'
Autor:
Chocholatý, David, Fiedor, Tomáš, Havlena, Vojtěch, Holík, Lukáš, Hruška, Martin, Lengál, Ondřej, Síč, Juraj
Mata is a well-engineered automata library written in C++ that offers a unique combination of speed and simplicity. It is meant to serve in applications such as string constraint solving and reasoning about regular expressions, and as a~reference imp
Externí odkaz:
http://arxiv.org/abs/2310.10136
Several new algorithms for deciding emptiness of Boolean combinations of regular languages and of languages of alternating automata (AFA) have been proposed recently, especially in the context of analysing regular expressions and in string constraint
Externí odkaz:
http://arxiv.org/abs/2304.05064
In this paper, we present Perun: an open-source tool suite for profiling-based performance analysis. At its core, Perun maintains links between project versions and the corresponding stored performance profiles, which are then leveraged for automated
Externí odkaz:
http://arxiv.org/abs/2207.12900
We present a new decision procedure for the logic WS1S. It originates from the classical approach, which first builds an automaton accepting all models of a formula and then tests whether its language is empty. The main novelty is to test the emptine
Externí odkaz:
http://arxiv.org/abs/1701.06282
Autor:
Fiedor, Tomáš
Různé typy logik se často používají jako prostředky pro formální specifikaci systémů. Slabá monadická logika druhého řádu s k následníky (WSkS) je jednou z nich a byť má poměrně velkou vyjadřovací sílu, stále je rozhodnuteln
Externí odkaz:
http://www.nusl.cz/ntk/nusl-236065
We propose a novel approach for coping with alternating quantification as the main source of nonelementary complexity of deciding WS1S formulae. Our approach is applicable within the state-of-the-art automata-based WS1S decision procedure implemented
Externí odkaz:
http://arxiv.org/abs/1501.03849
Autor:
Fiedor, Tomáš1 ifiedortom@fit.vutbr.cz, Holík, Lukáš1 holik@fit.vutbr.cz, Lengál, Ondřej1 lengal@fit.vutbr.cz, Vojnar, Tomáš1 vojnar@fit.vutbr.cz
Publikováno v:
Acta Informatica. Apr2019, Vol. 56 Issue 3, p205-228. 24p.
Autor:
Fiedor, Tomáš
Tato práce se věnuje vylepšení současného stavu formalní analýzy a verifikace založené na automatech a zaměřené na systémy s nekonečnými stavovými prostory. V první části se práce zabývá dvěma rozhodovacími procedurami pro lo
Externí odkaz:
http://www.nusl.cz/ntk/nusl-442316