Produkty
-
2024
Predator Hunting Party: Nástroj pro verifikaci a hledání chyb, verze 3.1415, software
Autoři: Kinšt Ondřej, Kotoun Michal, Müller Petr, Peringer Petr, Šoková Veronika, Vojnar Tomáš -
2022
Broom: Nástroj pro statickou analýzu C programů založen na separační logice a bi-abdukčním přístupu, software
Autoři: Holík Lukáš, Peringer Petr, Rogalewicz Adam, Šoková Veronika, Vojnar Tomáš, Zuleger Florian -
2010
Predator: Nástroj pro ověřování manipulace s dynamickými datovými strukturami založený na separační logice, software
Autoři: Dudka Kamil, Peringer Petr, Vojnar TomášSnadno použitelná infrastruktura pro výstavbu nástrojů na statickou analýzu, software
Autoři: Dudka Kamil, Peringer Petr, Vojnar Tomáš -
2007
Simulační knihovna SIMLIB, verze 3, software
Autoři: Peringer Petr, Martinek David