Aplikované výsledky

• 2024

  HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.: Mata: A Finite Automata Library. URL: https://github.com/VeriFIT/mata. (Software)
  Detail

  HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.: Z3-Noodler: A String Solver. URL: https://github.com/VeriFIT/z3-noodler. (Software)
  Detail

• 2022

  ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.: Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning. URL: https://pajda.fit.vutbr.cz/rogalew/broom/-/tree/v0.0.1. (Software)
  Detail

  HOLÍK, L.; HOLÍKOVÁ, L.; HOMOLIAK, I.; LENGÁL, O.; VOJNAR, T.; VEANES, M.: GadgetCA: A Tool for Generating ReDoS Attacks. URL: https://www.fit.vut.cz/research/product/730/. (Software)
  Detail

• 2020

  HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; VEANES, M.: Chipmunk: A Tool for Matching of Regular Expressions. URL: https://www.fit.vut.cz/research/product/685/. (Software)
  Detail

• 2019

  HOLÍK, L.; ABDULLA, P.; ATIG, M.; BUI PHI, D.; CHEN, Y.; REZINE, A.; RUMMER, P.: Trau: SMT solver for string constraints. URL: https://github.com/diepbp/Trau. (Software)
  Detail

• 2018

  HOLÍK, L.; HOLÍKOVÁ, L.; VOJNAR, T.: MINA: A Tool for Verification of Programs with an Unbounded Number of Threads. URL: https://www.fit.vut.cz/research/product/559/. (Software)
  Detail

  FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F.: Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs. URL: https://www.fit.vut.cz/research/product/562/. (Software)
  Detail

  HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P.: Sloth: An SMT Solver for String Constraints. URL: https://www.fit.vut.cz/research/product/563/. (Software)
  Detail

• 2017

  FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.: Gaston - Symbolic WS1S Solver. URL: https://www.fit.vut.cz/research/product/511/. (Software)
  Detail

• 2015

  HOLÍK, L.; ABDULLA, P.; ATIG, M.; CHEN, Y.; REZINE, A.; STENMAN, J.: Norn: An SMT Solver for String Constraints. URL: http://user.it.uu.se/~jarst116/norn/. (Software)
  Detail

  FIEDOR, T.; LENGÁL, O.; HOLÍK, L.; VOJNAR, T.: dWiNA - An Implementation of Decision Procedure for WS1S. URL: https://www.fit.vut.cz/research/product/432/. (Software)
  Detail

• 2010

  LENGÁL, O.; HOLÍK, L.; VOJNAR, T.: libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype. URL: https://github.com/ondrik/libsfta. (Software)
  Detail

  ŠIMÁČEK, J.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; HABERMEHL, P.: Forester: A Tool for Verification of Programs with Pointers. URL: https://www.fit.vut.cz/research/product/142/. (Software)
  Detail

• 2009

  ŠIMÁČEK, J.; HOLÍK, L.; VOJNAR, T.: Tool for Computing Simulations. URL: https://www.fit.vut.cz/research/product/131/. (Software)
  Detail

*) Citace se generují jednou za 24 hodin.