Lukáš Holík

Products

• 2024

  Mata: A Finite Automata Library, software
  Authors: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj

  Z3-Noodler: A String Solver, software
  Authors: Havlena Vojtěch, Holík Lukáš, Chen Yu-Fang, Chocholatý David, Lengál Ondřej, Síč Juraj

• 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

  GadgetCA: A Tool for Generating ReDoS Attacks, software
  Authors: Holík Lukáš, Holíková Lenka, Homoliak Ivan, Lengál Ondřej, Veanes Margus, Vojnar Tomáš

• 2020

  Chipmunk: A Tool for Matching of Regular Expressions., software
  Authors: Holík Lukáš, Holíková Lenka, Lengál Ondřej, Veanes Margus, Vojnar Tomáš

• 2019

  Trau: SMT solver for string constraints, software
  Authors: Abdulla Parosh A., Atig Mohamed F., Bui Phi Diep, Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Rummer Philipp

• 2018

  MINA: A Tool for Verification of Programs with an Unbounded Number of Threads, software
  Authors: Holík Lukáš, Holíková Lenka, Vojnar Tomáš

  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

  Sloth: An SMT Solver for String Constraints, software
  Authors: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, Vojnar Tomáš

• 2017

  Gaston - Symbolic WS1S Solver, software
  Authors: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš

• 2015

  dWiNA - An Implementation of Decision Procedure for WS1S, software
  Authors: Fiedor Tomáš, Lengál Ondřej, Holík Lukáš, Vojnar Tomáš

  Norn: An SMT Solver for String Constraints, software
  Authors: Abdulla Parosh A., Atig Mohamed F., Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Stenman Jari

• 2010

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

  libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype, software
  Authors: Holík Lukáš, Lengál Ondřej, Vojnar Tomáš

• 2009

  Tool for Computing Simulations, software
  Authors: Holík Lukáš, Šimáček Jiří, Vojnar Tomáš