Adam Rogalewicz

Products

• 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.

• 2020

  Looper: A Worst Case Cost Analyser, Version 1.0, software, 2020
  Authors: PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.

  Perun: Lightweight Performance Version System, Version 0.18.3, software, 2020
  Authors: FIEDOR, T.; PAVELA, J.; PODOLA, R.; STUPINSKÝ, Š.; LIŠČINSKÝ, M.; ROGALEWICZ, A.; VOJNAR, T.

• 2019

  VeriFIT Static Analysis Plugins, software, 2019
  Authors: MARCIN, V.; HARMIM, D.; PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.

• 2018

  Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs, software, 2018
  Authors: FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F.

• 2015

  INCLUDER (TRACER): Trace Inclusion for Data Word Automata, software, 2015
  Authors: ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.

• 2014

  SLIDE: Separation Logic with Inductive Definitions, software, 2014
  Authors: ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.

• 2010

  Forester: A Tool for Verification of Programs with Pointers, software, 2010
  Authors: ŠIMÁČEK, J.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; HABERMEHL, P.

• 2007

  ARTMC - Abstract Regular Tree Model Checking, software, 2007
  Authors: ROGALEWICZ, A.; VOJNAR, T.