Creative activities

• SMRČKA, A.; VOJNAR, T.: VHD2CA; Translator of VHDL Design to Counter Automaton. http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/. URL: http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/. (software)
  http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/, number of downloads: 2
  Detail

• SMRČKA, A.: fast2armc; Překladač modelu FAST pro ARMC. http://fast2armc.sourceforge.net/. URL: http://fast2armc.sourceforge.net/. (software)
  http://fast2armc.sourceforge.net/, number of downloads: 1
  Detail

• SMRČKA, A.: CDCreveal; Analyzátor CDC asynchronních komponent. http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreveal. URL: http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreveal. (software)
  http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreveal, number of downloads: 1
  Detail

• SMRČKA, A.; VOJNAR, T.: cdcreloaded; Framework for Formal Verification of Clock Domain Crossing. http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreloaded. URL: http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreloaded. (software)
  http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreloaded, number of downloads: 2
  Detail

• CHARVÁT, L.; SMRČKA, A.; VOJNAR, T.: HADES; HADES (Hazard Detection System). http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/, number of downloads: 2
  Detail

• SMRČKA, A.; SEČKAŘOVÁ, P.: Testos-Spectra; Testos-Spectra: A tool for verification of ptLTL on C/C++ programs. Domovská stránka nástroje včetně samotného nástroje je: http://www.fit.vutbr.cz/research/groups/verifit/tools/testos-spectra/. URL: https://www.fit.vut.cz/research/product/657/. (software)
  https://www.fit.vut.cz/research/product/657/, number of downloads: 0
  Detail

• 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, 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

• 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

• 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

• 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

• SMRČKA, A.; FREYBURG, P.; ŠVÉDA, M.; HRADSKÝ, T.: tenantmux; Multitenantní aplikační modul výrobního informačního systému. Zdrojové kódy a dokumentace se nachází v GitLab repozitáři https://pajda.fit.vutbr.cz/tacr-unis/tenantmux. 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/762/. (software)
  https://www.fit.vut.cz/research/product/762/, number of downloads: 0
  Detail

• ROZSÍVAL, M.; SMRČKA, A.: netloiter; Network application tester based on fault-injection. https://pajda.fit.vutbr.cz/testos/netloiter. URL: https://pajda.fit.vutbr.cz/testos/netloiter. (software)
  https://pajda.fit.vutbr.cz/testos/netloiter, number of downloads: 0
  Detail

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