Products

• 2024

  Mata: A Finite Automata Library, software
  Authors: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj

  Z3-Noodler: A String Solver, software
  Authors: Havlena Vojtěch, Holík Lukáš, Chen Yu-Fang, Chocholatý David, Lengál Ondřej, Síč Juraj

  Amaya: A Tool for Solving Qunatified Linear Arithmetic Formulae, software
  Authors:Peter Habermehl, Vojtěch Havlena, Michal Hečko, Lukáš Holík, Ondřej Lengál

  AutoQ: A Tool for Verification of Quantum Circuits using Tree Automata, software
  Authors:Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai

• 2023

  Kofola: A Tool Modular Complementation and Inclusion Checking for Omega Automata, software
  Authors: Havlena Vojtěch, Lengál Ondřej, Yong Li, Šmahlíková Barbora, Turrini Andrea

• 2022

  Ranker: A Tool for Complementing Büchi Automata, software
  Authors: Havlena Vojtěch, Lengál Ondřej, Šmahlíková Barbora