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
Broom: Nástroj pro statickou analýzu C programů založen na separační logice a bi-abdukčním přístupu, software
Autoři: Holík Lukáš, Peringer Petr, Rogalewicz Adam, Šoková Veronika, Vojnar Tomáš, Zuleger FlorianGadgetCA - 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áš -
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áš -
2019
Trau: SMT řešič řetězcových omezení, software
Autoři: Abdulla Parosh A., Atig Mohamed F., Bui Phi Diep, Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Rummer Philipp -
2018
Lenochod - SMT solver pro řetězcová omezení, software
Autoři: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, Vojnar TomášMINA: Nástroj pro verifikaci programů s neomezeným počtem vláken, software
Autoři: Holík Lukáš, Holíková Lenka, Vojnar TomášRanger: Nástroj pro Analýzu Mezí Programů Manipulujících s Haldou, software
Autoři: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian -
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ášNorn: SMT řešič řetězcových omezení, software
Autoři: Abdulla Parosh A., Atig Mohamed F., Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Stenman Jari -
2010
Forester: Nástroj pro verifikaci programů s ukazateli, software
Autoři: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš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áš -
2009
Nástroj pro výpočet simulací, software
Autoři: Holík Lukáš, Šimáček Jiří, Vojnar Tomáš