Products
-
2024
Mata: A Finite Automata Library, software
Authors: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj -
2023
2LS: Static Analyser and Verifier, version 0.10, software
Authors: 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
Analyser of Metrics Measured in Monitoring Center, software
Authors: Fiedor Tomáš, Hruška Martin, Smrčka Aleš, Švéda Martin, Hradský Tomáš -
2021
Software for measurement and evaluation of performance parameters, software
Authors: Fiedor Tomáš, Hruška Martin, Smrčka Aleš -
2020
A Tool for Creating Test Scenarios for Industry Applications, software
Authors: Čeleda Pavel, Fiedor Tomáš, Hruška Martin, Panov Sergey, Pospíšil Luboš, Rozsíval Michal, Smrčka Aleš, Tureček Dominik