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
Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning, software, 2022
Authors: ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.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. -
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. -
2019
Trau: SMT solver for string constraints, software, 2019
Authors: HOLÍK, L.; ABDULLA, P.; ATIG, M.; BUI PHI, D.; CHEN, Y.; REZINE, A.; RUMMER, P. -
2018
MINA: A Tool for Verification of Programs with an Unbounded Number of Threads, software, 2018
Authors: HOLÍK, L.; HOLÍKOVÁ, L.; VOJNAR, T.Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs, software, 2018
Authors: FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F.Sloth: An SMT Solver for String Constraints, software, 2018
Authors: HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. -
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.Norn: An SMT Solver for String Constraints, software, 2015
Authors: HOLÍK, L.; ABDULLA, P.; ATIG, M.; CHEN, Y.; REZINE, A.; STENMAN, J. -
2010
Forester: A Tool for Verification of Programs with Pointers, software, 2010
Authors: ŠIMÁČEK, J.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; HABERMEHL, P.libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype, software, 2010
Authors: LENGÁL, O.; HOLÍK, L.; VOJNAR, T. -
2009
Tool for Computing Simulations, software, 2009
Authors: ŠIMÁČEK, J.; HOLÍK, L.; VOJNAR, T.