doc. Mgr.
Adam Rogalewicz
Ph.D.
FIT, UITS – docent
+420 54114 1188
rogalew@fit.vutbr.cz
Tvůrčí aktivity
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/, počet stažení: 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/, počet stažení: 3
DetailROGALEWICZ, 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/, počet stažení: 2
DetailROGALEWICZ, 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/. URL: https://www.fit.vut.cz/research/product/422/. (software)
https://www.fit.vut.cz/research/product/422/, počet stažení: 2
DetailFIEDOR, 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/, počet stažení: 1
Detail
Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.