Adam Rogalewicz

Produkty

• 2022

  Broom: Nástroj pro statickou analýzu C programů založen na separační logice a bi-abdukčním přístupu, software, 2022
  Autoři: ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.

• 2020

  Looper: analyzátor nejhorší ceny, verze 1.0, software, 2020
  Autoři: PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.

  Perun: Systém pro verzování výkonu, verze 0.18.3, software, 2020
  Autoři: FIEDOR, T.; PAVELA, J.; PODOLA, R.; STUPINSKÝ, Š.; LIŠČINSKÝ, M.; ROGALEWICZ, A.; VOJNAR, T.

• 2019

  Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT, software, 2019
  Autoři: MARCIN, V.; HARMIM, D.; PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.

• 2018

  Ranger: Nástroj pro Analýzu Mezí Programů Manipulujících s Haldou, software, 2018
  Autoři: FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F.

• 2015

  INCLUDER (tracer): Nástroj pro rozhodování běhové inkluze pro automaty nad daty, software, 2015
  Autoři: ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.

• 2014

  SLIDE: Separační logika s induktivními definicemi, software, 2014
  Autoři: ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.

• 2010

  Forester: Nástroj pro verifikaci programů s ukazateli, software, 2010
  Autoři: ŠIMÁČEK, J.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; HABERMEHL, P.

• 2007

  ARTMC - Abstraktní regulární stromový model checking, software, 2007
  Autoři: ROGALEWICZ, A.; VOJNAR, T.