Creative activities

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

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

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

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

• FIEDOR, J.: OCRP Solver; OCRP Solver: A Tool for Solving the OCRP Problem. http://www.fit.vutbr.cz/~ifiedor/ocrpsolver/. URL: http://www.fit.vutbr.cz/~ifiedor/ocrpsolver/. (software)
  http://www.fit.vutbr.cz/~ifiedor/ocrpsolver/, number of downloads: 2
  Detail

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

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

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

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

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

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