Products
-
2024
Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415, software, 2024
Authors: MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M. -
2022
Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning, software, 2022
Authors: ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F. -
2010
An Easy to Use Infrastructure for Building Static Analysis Tools, software, 2010
Authors: DUDKA, K.; PERINGER, P.; VOJNAR, T.Predator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, software, 2010
Authors: DUDKA, K.; PERINGER, P.; VOJNAR, T. -
2007
Simulation Library SIMLIB, version 3, software, 2007
Authors: PERINGER, P.; MARTINEK, D.