Aplikované výsledky

• 2024

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

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

• 2022

  ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.: xx; Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning. xx. 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.: xx; GadgetCA: A Tool for Generating ReDoS Attacks. xx. 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.: xx; Chipmunk: A Tool for Matching of Regular Expressions. xx. 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.: xx; Trau: SMT solver for string constraints. xx. URL: https://github.com/diepbp/Trau. (Software)
  Detail

• 2018

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

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

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

• 2017

  FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.: xx; Gaston - Symbolic WS1S Solver. xx. 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.: xx; Norn: An SMT Solver for String Constraints. xx. URL: http://user.it.uu.se/~jarst116/norn/. (Software)
  Detail

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

• 2010

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

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

• 2009

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

*) Citace se generují jednou za 24 hodin.