Applied results

• 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

• 2012

  FIEDOR, J.; VOJNAR, T.: xx; ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/. (Software)
  Detail

• 2011

  DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B.: xx; DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc. (Software)
  Detail

  FIEDOR, J.: xx; OCRP Solver: A Tool for Solving the OCRP Problem. xx. URL: http://www.fit.vutbr.cz/~ifiedor/ocrpsolver/. (Software)
  Detail

• 2010

  FIEDOR, J.; GACH, M.; ČEŠKA, M.: xx; Tool for verification of systems specified in RT-Logic language. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav. (Software)
  Detail

  DUDKA, V.; FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.: xx; Replay Tracer & BMC. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev. (Software)
  Detail

  GACH, M.; FIEDOR, J.; ČEŠKA, M.: xx; Tool for verification of systems described using the Modechart formalism. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/verif. (Software)
  Detail

*) Citations are generated once every 24 hours.