Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Dr. Ing.
FIT, UITS – odborný asistent
+420 54114 1201peringer@fit.vut.cz
Odeslat VUT zprávu
PERINGER, P.; MARTINEK, D.: SIMLIB3; Simulation Library SIMLIB, version 3. http://www.fit.vutbr.cz/~peringer/SIMLIB/. URL: http://www.fit.vutbr.cz/~peringer/SIMLIB/. (software)http://www.fit.vutbr.cz/~peringer/SIMLIB/, počet stažení: 1Detail
DUDKA, K.; PERINGER, P.; VOJNAR, T.: code-listener; An Easy to Use Infrastructure for Building Static Analysis Tools. - http://www.fit.vutbr.cz/research/groups/verifit/tools/code-listener. URL: https://www.fit.vut.cz/research/product/150/. (software)https://www.fit.vut.cz/research/product/150/, počet stažení: 4Detail
DUDKA, K.; PERINGER, P.; VOJNAR, T.: predator; Predator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. - http://www.fit.vutbr.cz/research/groups/verifit/tools/predator. URL: https://www.fit.vut.cz/research/product/149/. (software)https://www.fit.vut.cz/research/product/149/, počet stažení: 3Detail
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, počet stažení: 0Detail
MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M.: PredatorHP v3.1415; Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415. https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. (software)https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/, počet stažení: 0Detail
Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.