Products
-
2024
Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415, software
Authors: Kinšt Ondřej, Kotoun Michal, Müller Petr, Peringer Petr, Šoková Veronika, Vojnar Tomáš -
2022
Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning, software
Authors: Holík Lukáš, Peringer Petr, Rogalewicz Adam, Šoková Veronika, Vojnar Tomáš, Zuleger Florian -
2010
An Easy to Use Infrastructure for Building Static Analysis Tools, software
Authors: Dudka Kamil, Peringer Petr, Vojnar TomášPredator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, software
Authors: Dudka Kamil, Peringer Petr, Vojnar Tomáš -
2007
Simulation Library SIMLIB, version 3, software
Authors: Peringer Petr, Martinek David