Veronika Šoková

Aplikované výsledky

• 2024

  Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415, software, 2024
  Autoři: 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
  Autoři: ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.