Adam Rogalewicz

Products

• 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

• 2020

  Looper: A Worst Case Cost Analyser, Version 1.0, software
  Authors: Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam

  Perun: Lightweight Performance Version System, Version 0.18.3, software
  Authors: Fiedor Tomáš, Pavela Jiří, Podola Radim, Stupinský Šimon, Liščinský Matúš, Rogalewicz Adam, Vojnar Tomáš

• 2019

  VeriFIT Static Analysis Plugins, software
  Authors: Marcin Vladimír, Harmim Dominik, Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam

• 2018

  Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs, software
  Authors: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian

• 2015

  INCLUDER (tracer): Trace Inclusion for Data Word Automata, software
  Authors: Rogalewicz Adam, Iosif Radu, Vojnar Tomáš

• 2014

  SLIDE: Separation Logic with Inductive Definitions, software
  Authors: Rogalewicz Adam, Iosif Radu, Vojnar Tomáš

• 2010

  Forester: A Tool for Verification of Programs with Pointers, software
  Authors: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš

• 2007

  ARTMC - Abstract Regular Tree Model Checking, software
  Authors: Rogalewicz Adam, Vojnar Tomáš