Produkty
-
2024
Mata: Knihovna pro konečné automaty, software
Autoři: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj -
2023
2LS: Nástroj pro statickou analýzu a verifikaci, verze 0.10, software
Autoři: Brain Martin, Buecheli Samuel, David Cristina, Hruška Martin, Kroening Daniel, Kumar Madhukar, Malík Viktor, Martiček Štefan, Mukherjee Rajdeep, Nečas František, Schrammel Peter, Vojnar Tomáš, Watcher Björn -
2022
Analyzátor metrik monitorovaných v dohledovém centru, software
Autoři: Fiedor Tomáš, Hruška Martin, Smrčka Aleš, Švéda Martin, Hradský Tomáš -
2021
Software pro měření a vyhodnocení výkonnostních parametrů, software
Autoři: Fiedor Tomáš, Hruška Martin, Smrčka Aleš -
2020
Nástroj pro přípravu testů průmyslových aplikací, software
Autoři: Čeleda Pavel, Fiedor Tomáš, Hruška Martin, Panov Sergey, Pospíšil Luboš, Rozsíval Michal, Smrčka Aleš, Tureček Dominik