Dr. Ing.

Petr Peringer

FIT, UITS – odborný asistent

+420 54114 1201
peringer@fit.vut.cz

Odeslat VUT zprávu

Dr. Ing. Petr Peringer

Tvůrčí aktivity

  • 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í: 1
    Detail

  • 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í: 4
    Detail

  • 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í: 3
    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, počet stažení: 0
    Detail

  • 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í: 0
    Detail

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