Products
-
2024
Mata: A Finite Automata Library, software
Authors: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč JurajZ3-Noodler: A String Solver, software
Authors: Havlena Vojtěch, Holík Lukáš, Chen Yu-Fang, Chocholatý David, Lengál Ondřej, Síč Juraj -
2022
Ranker: A Tool for Complementing Büchi Automata, software
Authors: Havlena Vojtěch, Lengál Ondřej, Šmahlíková Barbora -
2021
ICS detection algorithms software library, software
Authors: Burgetová Ivana, Havlena Vojtěch, Kolář Dušan, Matoušek Petr, Ryšavý Ondřej