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