Lukáš Holík

Produkty

• 2024

  Mata: Knihovna pro konečné automaty, software, 2024
  Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.

  Z3-Noodler: Řetězcový Řešič, software, 2024
  Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.

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

  GadgetCA - Nástroj pro generování ReDoS útoků, software, 2022
  Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; HOMOLIAK, I.; LENGÁL, O.; VOJNAR, T.; VEANES, M.

• 2020

  Chipmunk: Nástroj pro vyhledávní podle regulárních výrazů., software, 2020
  Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; VEANES, M.

• 2019

  Trau: SMT řešič řetězcových omezení, software, 2019
  Autoři: HOLÍK, L.; ABDULLA, P.; ATIG, M.; BUI PHI, D.; CHEN, Y.; REZINE, A.; RUMMER, P.

• 2018

  Lenochod - SMT solver pro řetězcová omezení, software, 2018
  Autoři: HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P.

  MINA: Nástroj pro verifikaci programů s neomezeným počtem vláken, software, 2018
  Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; VOJNAR, T.

  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.

• 2017

  Gaston - Symbolická WS1S Rozhodovací Procedura, software, 2017
  Autoři: FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.

• 2015

  dWiNA - Implementace rozhodovací procedury pro WS1S, software, 2015
  Autoři: FIEDOR, T.; LENGÁL, O.; HOLÍK, L.; VOJNAR, T.

  Norn: SMT řešič řetězcových omezení, software, 2015
  Autoři: HOLÍK, L.; ABDULLA, P.; ATIG, M.; CHEN, Y.; REZINE, A.; STENMAN, J.

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

  libSFTA: Prototyp knihovny pro efektivní práci se semi-symbolicky reprezentovanými nedeterministickými stromovými automaty, software, 2010
  Autoři: LENGÁL, O.; HOLÍK, L.; VOJNAR, T.

• 2009

  Nástroj pro výpočet simulací, software, 2009
  Autoři: ŠIMÁČEK, J.; HOLÍK, L.; VOJNAR, T.