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
  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/, number of downloads: 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/, number of downloads: 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, number of downloads: 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/, number of downloads: 0
  Detail

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