Aplikované výsledky

• 2024

  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

  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

• 2022

  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

  HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.: xx; Ranker: A Tool for Complementing Büchi Automata. xx. URL: https://github.com/vhavlena/ranker. (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

• 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

  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

• 2014

  LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M.: xx; SPEN - A Solver for Separation Logic Entailments. xx. URL: http://www.liafa.univ-paris-diderot.fr/spen/. (Software)
  Detail

• 2012

  ZACHARIÁŠOVÁ, M.; LENGÁL, O.; KAJAN, M.: xx; HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware. xx. URL: https://www.fit.vut.cz/research/product/234/. (Software)
  Detail

  LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T.: xx; VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata. xx. URL: https://www.fit.vut.cz/research/product/223/. (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

*) Citace se generují jednou za 24 hodin.