doc. Mgr.

Adam Rogalewicz

Ph.D.

FIT, UITS – docent

+420 54114 1188
rogalew@fit.vutbr.cz

Odeslat VUT zprávu

doc. Mgr. Adam Rogalewicz, Ph.D.

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
    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/, počet stažení: 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/. URL: https://www.fit.vut.cz/research/product/422/. (software)
    https://www.fit.vut.cz/research/product/422/, počet stažení: 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/, počet stažení: 1
    Detail

Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.