Dr. Ing.

Petr Peringer

FIT – assistant professor

+420 54114 1201

Send BUT message

Dr. Ing. Petr Peringer

Creative activities

  • 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/, number of downloads: 1

  • 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/, number of downloads: 4

  • 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/, number of downloads: 3

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