Products
-
2024
Mata: A Finite Automata Library, software, 2024
Authors: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.Z3-Noodler: A String Solver, software, 2024
Authors: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y. -
2022
Ranker: A Tool for Complementing Büchi Automata, software, 2022
Authors: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. -
2021
ICS detection algorithms software library, software, 2021
Authors: BURGETOVÁ, I.; HAVLENA, V.; KOLÁŘ, D.; MATOUŠEK, P.; RYŠAVÝ, O.