Creative activities

• FIEDOR, T.; LENGÁL, O.; HOLÍK, L.; VOJNAR, T.: dwina; dWiNA - An Implementation of Decision Procedure for WS1S. Nástroj i dokumentaci lze získat na URL:http://www.fit.vutbr.cz/research/groups/verifit/tools/dWiNA/. URL: https://www.fit.vut.cz/research/product/432/. (software)
  https://www.fit.vut.cz/research/product/432/, number of downloads: 2
  Detail

• FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.: gaston; Gaston - Symbolic WS1S Solver. Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/gaston/ a https://github.com/tfiedor/gaston. URL: https://www.fit.vut.cz/research/product/511/. (software)
  https://www.fit.vut.cz/research/product/511/, number of downloads: 2
  Detail

• FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F.: ranger; Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs. Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/ranger/ a https://pajda.fit.vutbr.cz/ifiedortom/forester-resource-bounds. URL: https://www.fit.vut.cz/research/product/562/. (software)
  https://www.fit.vut.cz/research/product/562/, number of downloads: 1
  Detail

• MARCIN, V.; HARMIM, D.; PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.: VeriFIT Static Analysis Plugins. http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/, 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

• PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.: Looper 1.0; Looper: A Worst Case Cost Analyser, Version 1.0. https://github.com/paveon/paveon.github.io/raw/master/Looper-v1.0.0.zip. URL: https://github.com/paveon/paveon.github.io/raw/master/Looper-v1.0.0.zip. (software)
  https://github.com/paveon/paveon.github.io/raw/master/Looper-v1.0.0.zip, number of downloads: 0
  Detail

• FIEDOR, T.; PAVELA, J.; PODOLA, R.; STUPINSKÝ, Š.; LIŠČINSKÝ, M.; ROGALEWICZ, A.; VOJNAR, T.: Perun 0.18.3; Perun: Lightweight Performance Version System, Version 0.18.3. https://github.com/tfiedor/perun/archive/0.18.3-hotfix2.zip. URL: https://github.com/tfiedor/perun/archive/0.18.3-hotfix2.zip. (software)
  https://github.com/tfiedor/perun/archive/0.18.3-hotfix2.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

• 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

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

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