Aplikované výsledky
- 
                            2024 Mata: A Finite Automata Library, software, 2024 
 Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.Z3-Noodler: A String Solver, software, 2024 
 Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.
- 
                            2022 GadgetCA: A Tool for Generating ReDoS Attacks, software, 2022 
 Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; HOMOLIAK, I.; LENGÁL, O.; VOJNAR, T.; VEANES, M.Ranker: A Tool for Complementing Büchi Automata, software, 2022 
 Autoři: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.
- 
                            2020 Chipmunk: A Tool for Matching of Regular Expressions, software, 2020 
 Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; VEANES, M.
- 
                            2017 Gaston - Symbolic WS1S Solver, software, 2017 
 Autoři: FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.
- 
                            2015 dWiNA - An Implementation of Decision Procedure for WS1S, software, 2015 
 Autoři: FIEDOR, T.; LENGÁL, O.; HOLÍK, L.; VOJNAR, T.
- 
                            2014 SPEN - A Solver for Separation Logic Entailments, software, 2014 
 Autoři: LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M.
- 
                            2012 HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, software, 2012 
 Autoři: ZACHARIÁŠOVÁ, M.; LENGÁL, O.; KAJAN, M.VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, software, 2012 
 Autoři: LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T.
- 
                            2010 libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype, software, 2010 
 Autoři: LENGÁL, O.; HOLÍK, L.; VOJNAR, T.