2024

Mata: A Finite Automata Library, software, 2024
Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.

Z3-Noodler: A String Solver, software, 2024
Autoři: 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
Autoři: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.