Tvůrčí aktivity

• BURGETOVÁ, I.; HAVLENA, V.; KOLÁŘ, D.; MATOUŠEK, P.; RYŠAVÝ, O.: BONNET-ICS-AD; Softwarová knihovna detekčních algoritmů ICS. Zdrojové kódy jsou dostupné v privátním GitHub repozitáři: https://github.com/nesfit/bonnet-ics-library. URL: https://www.fit.vut.cz/research/product/703/. (software)
  https://www.fit.vut.cz/research/product/703/, počet stažení: 0
  Detail

• HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.: Ranker; Ranker: A Tool for Complementing Büchi Automata. https://github.com/vhavlena/ranker. URL: https://github.com/vhavlena/ranker. (software)
  https://github.com/vhavlena/ranker, počet stažení: 0
  Detail

• HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.: Z3-Noodler; Z3-Noodler: A String Solver. https://github.com/VeriFIT/z3-noodler. URL: https://github.com/VeriFIT/z3-noodler. (software)
  https://github.com/VeriFIT/z3-noodler, počet stažení: 0
  Detail

• HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.: mata; Mata: A Finite Automata Library. https://github.com/VeriFIT/mata. URL: https://github.com/VeriFIT/mata. (software)
  https://github.com/VeriFIT/mata, počet stažení: 0
  Detail

Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.