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
Ranker: Nástroj pro komplementaci Büchiho automatů, software
Autoři: Havlena Vojtěch, Lengál Ondřej, Šmahlíková Barbora -
2021
Softwarová knihovna detekčních algoritmů ICS, software
Autoři: Burgetová Ivana, Havlena Vojtěch, Kolář Dušan, Matoušek Petr, Ryšavý Ondřej