Aplikované výsledky

• 2024

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

• 2023

  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.: xx; 2LS: Static Analyser and Verifier, version 0.10. xx. URL: https://github.com/diffblue/2ls/releases/tag/2ls-0.10. (Software)
  Detail

• 2022

  FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.; ŠVÉDA, M.; HRADSKÝ, T.: xx; Analyzátor metrik monitorovaných v dohledovém centru. xx. URL: https://www.fit.vut.cz/research/product/761/. (Software)
  Detail

• 2021

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

• 2020

  HRUŠKA, M.; FIEDOR, T.; PANOV, S.; ROZSÍVAL, M.; SMRČKA, A.; TUREČEK, D.; POSPÍŠIL, L.; ČELEDA, P.: xx; Nástroj pro přípravu testů průmyslových aplikací. xx. URL: https://pajda.fit.vutbr.cz/tacr-unis/tyrant. (Software)
  Detail

*) Citace se generují jednou za 24 hodin.