Automata@FIT

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.