Produkty
-
2024
Mata: Knihovna pro konečné automaty, software
Autoři: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč JurajZ3-Noodler: Řetězcový Řešič, software
Autoři: Havlena Vojtěch, Holík Lukáš, Chen Yu-Fang, Chocholatý David, Lengál Ondřej, Síč Juraj -
2022
GadgetCA - Nástroj pro generování ReDoS útoků, software
Autoři: Holík Lukáš, Holíková Lenka, Homoliak Ivan, Lengál Ondřej, Veanes Margus, Vojnar TomášRanker: Nástroj pro komplementaci Büchiho automatů, software
Autoři: Havlena Vojtěch, Lengál Ondřej, Šmahlíková Barbora -
2020
Chipmunk: Nástroj pro vyhledávní podle regulárních výrazů., software
Autoři: Holík Lukáš, Holíková Lenka, Lengál Ondřej, Veanes Margus, Vojnar Tomáš -
2017
Gaston - Symbolická WS1S Rozhodovací Procedura, software
Autoři: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš -
2015
dWiNA - Implementace rozhodovací procedury pro WS1S, software
Autoři: Fiedor Tomáš, Lengál Ondřej, Holík Lukáš, Vojnar Tomáš -
2014
SPEN - Rozhodovací procedura pro separační logiku, software
Autoři: Enea Constantin, Lengál Ondřej, Sighireanu Mihaela, Vojnar Tomáš -
2012
HAVEN: Otevřený rámec pro akceleraci funkční verifikace hardwaru pomocí FPGA, software
Autoři: Zachariášová Marcela, Lengál Ondřej, Kajan MichalVATA: Knihovna pro efektivní práci s nedeterministickými stromovými automaty, software
Autoři: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš -
2010
libSFTA: Prototyp knihovny pro efektivní práci se semi-symbolicky reprezentovanými nedeterministickými stromovými automaty, software
Autoři: Holík Lukáš, Lengál Ondřej, Vojnar Tomáš