Creative activities

• HRUŠKA, M.; FIEDOR, T.; PANOV, S.; ROZSÍVAL, M.; SMRČKA, A.; TUREČEK, D.; POSPÍŠIL, L.; ČELEDA, P.: tyrant; A Tool for Creating Test Scenarios for Industry Applications. https://pajda.fit.vutbr.cz/tacr-unis/tyrant. URL: https://pajda.fit.vutbr.cz/tacr-unis/tyrant. (software)
  https://pajda.fit.vutbr.cz/tacr-unis/tyrant, number of downloads: 0
  Detail

• FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.: prefekt; Software for measurement and evaluation of performance parameters. https://pajda.fit.vutbr.cz/tacr-unis/prefekt/-/tree/prefekt-1.0-hotfix. URL: https://pajda.fit.vutbr.cz/tacr-unis/prefekt/-/tree/prefekt-1.0-hotfix. (software)
  https://pajda.fit.vutbr.cz/tacr-unis/prefekt/-/tree/prefekt-1.0-hotfix, number of downloads: 0
  Detail

• FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.; ŠVÉDA, M.; HRADSKÝ, T.: perfaide; Analyzátor metrik monitorovaných v dohledovém centru. Zdrojové kódy a dokumentace se nachází v GitLab repozitáři https://pajda.fit.vutbr.cz/tacr-unis/perfaide. Do repozitáře je umožněn přístup pouze na základě smlouvy o komerčním využití výsledků projektu.. URL: https://www.fit.vut.cz/research/product/761/. (software)
  https://www.fit.vut.cz/research/product/761/, number of downloads: 0
  Detail

• KROENING, D.; MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T.; MUKHERJEE, R.; MARTIČEK, Š.; NEČAS, F.; HRUŠKA, M.; BRAIN, M.; BUECHELI, S.; DAVID, C.; KUMAR, M.; WATCHER, B.: 2LS 0.10; 2LS: Static Analyser and Verifier, version 0.10. https://github.com/diffblue/2ls/releases/tag/2ls-0.10. URL: https://github.com/diffblue/2ls/releases/tag/2ls-0.10. (software)
  https://github.com/diffblue/2ls/releases/tag/2ls-0.10, number of downloads: 0
  Detail

• HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.: mata; Mata: A Finite Automata Library. https://github.com/VeriFIT/mata. URL: https://github.com/VeriFIT/mata. (software)
  https://github.com/VeriFIT/mata, number of downloads: 0
  Detail

In the event of a discrepancy in the data, inspect the FAQs for visiting cards.