Creative activities

• 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/, number of downloads: 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, number of downloads: 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, number of downloads: 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, number of downloads: 0
  Detail

In the event of a discrepancy in the data, inspect the FAQs for visiting cards.