Creative activities

• ROGALEWICZ, A.; VOJNAR, T.: ARTMC-v1; ARTMC - Abstract Regular Tree Model Checking. http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/, number of downloads: 1
  Detail

• ŠIMÁČEK, J.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; HABERMEHL, P.: fapointers; Forester: A Tool for Verification of Programs with Pointers. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/forester/. URL: https://www.fit.vut.cz/research/product/142/. (software)
  https://www.fit.vut.cz/research/product/142/, number of downloads: 3
  Detail

• ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.: SLIDE; SLIDE: Separation Logic with Inductive Definitions. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/slide/. URL: https://www.fit.vut.cz/research/product/373/. (software)
  https://www.fit.vut.cz/research/product/373/, number of downloads: 2
  Detail

• ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.: TRACER; INCLUDER (tracer): Trace Inclusion for Data Word Automata. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/includer/. (software)
  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

• 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

• ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.: broom; Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning. https://pajda.fit.vutbr.cz/rogalew/broom/-/tree/v0.0.1. URL: https://pajda.fit.vutbr.cz/rogalew/broom/-/tree/v0.0.1. (software)
  https://pajda.fit.vutbr.cz/rogalew/broom/-/tree/v0.0.1, number of downloads: 0
  Detail

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