Produkty
-
2022
GadgetCA - Nástroj pro generování ReDoS útoků, software, 2022
Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; HOMOLIAK, I.; LENGÁL, O.; VOJNAR, T.; VEANES, M. -
2020
Chipmunk: Nástroj pro vyhledávní podle regulárních výrazů., software, 2020
Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; VEANES, M. -
2019
PICoSo: SMT řešič pro řezězcová omezení, software, 2019
Autoři: HOLÍKOVÁ, L.; JANKŮ, P. -
2018
MINA: Nástroj pro verifikaci programů s neomezeným počtem vláken, software, 2018
Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; VOJNAR, T.