Aplikované výsledky

• 2022

  VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: xx; Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0. xx. URL: https://pajda.fit.vutbr.cz/verifit/unite/-/tags/v3.0.0. (Software)
  Detail

• 2021

  SMRČKA, A.; VAŠÍČEK, O.; FIEDOR, J.; VOJNAR, T.: xx; Testos-Aufover - Verification as a Service. xx. URL: https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0. (Software)
  Detail

• 2020

  VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: xx; OSLC ANaConDA Adapter, Version 1.0. xx. URL: http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip. (Software)
  Detail

  FIEDOR, J.; VAŠÍČEK, O.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: xx; ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4. xx. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip. (Software)
  Detail

*) Citace se generují jednou za 24 hodin.