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

  HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.: Ranker: A Tool for Complementing Büchi Automata. URL: https://github.com/vhavlena/ranker. (Software)
  Detail

• 2021

  BURGETOVÁ, I.; HAVLENA, V.; KOLÁŘ, D.; MATOUŠEK, P.; RYŠAVÝ, O.: Softwarová knihovna detekčních algoritmů ICS. URL: https://www.fit.vut.cz/research/product/703/. (Software)
  Detail

*) Citace se generují jednou za 24 hodin.