Produkty
-
2024
Mata: Knihovna pro konečné automaty, software, 2024
Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.Z3-Noodler: Řetězcový Řešič, software, 2024
Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y. -
2022
GadgetCA - Nástroj pro generování ReDoS útoků, software, 2022
Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; HOMOLIAK, I.; LENGÁL, O.; VOJNAR, T.; VEANES, M.Ranker: Nástroj pro komplementaci Büchiho automatů, software, 2022
Autoři: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. -
2020
Chipmunk: Nástroj pro vyhledávní podle regulárních výrazů., software, 2020
Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; VEANES, M. -
2017
Gaston - Symbolická WS1S Rozhodovací Procedura, software, 2017
Autoři: FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T. -
2015
dWiNA - Implementace rozhodovací procedury pro WS1S, software, 2015
Autoři: FIEDOR, T.; LENGÁL, O.; HOLÍK, L.; VOJNAR, T. -
2014
SPEN - Rozhodovací procedura pro separační logiku, software, 2014
Autoři: LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M. -
2012
HAVEN: Otevřený rámec pro akceleraci funkční verifikace hardwaru pomocí FPGA, software, 2012
Autoři: ZACHARIÁŠOVÁ, M.; LENGÁL, O.; KAJAN, M.VATA: Knihovna pro efektivní práci s nedeterministickými stromovými automaty, software, 2012
Autoři: LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T. -
2010
libSFTA: Prototyp knihovny pro efektivní práci se semi-symbolicky reprezentovanými nedeterministickými stromovými automaty, software, 2010
Autoři: LENGÁL, O.; HOLÍK, L.; VOJNAR, T.