Aplikované výsledky

• 2024

  MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M.: Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. (Software)
  

  Software

  Detail

• 2022

  ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.: Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning. URL: https://pajda.fit.vutbr.cz/rogalew/broom/-/tree/v0.0.1. (Software)
  

  Software

  Detail

• 2010

  DUDKA, K.; PERINGER, P.; VOJNAR, T.: Predator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. URL: https://www.fit.vut.cz/research/product/149/. (Software)
  

  Software

  Detail

  DUDKA, K.; PERINGER, P.; VOJNAR, T.: An Easy to Use Infrastructure for Building Static Analysis Tools. URL: https://www.fit.vut.cz/research/product/150/. (Software)
  

  Software

  Detail

• 2007

  PERINGER, P.; MARTINEK, D.: Simulation Library SIMLIB, version 3. URL: http://www.fit.vutbr.cz/~peringer/SIMLIB/. (Software)
  

  Software

  Detail

*) Citace se generují jednou za 24 hodin.