Department of Intelligent Systems

Author Title (all words) Keywords (any word) Year Years Product Type

2024

Mata: A Finite Automata Library, software, 2024
Authors: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj Detail
Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415, software, 2024
Authors: Kinšt Ondřej, Kotoun Michal, Müller Petr, Peringer Petr, Šoková Veronika, Vojnar Tomáš Detail
Z3-Noodler: A String Solver, software, 2024
Authors: Havlena Vojtěch, Holík Lukáš, Chen Yu-Fang, Chocholatý David, Lengál Ondřej, Síč Juraj Detail