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. -
2023
2LS: Static Analyser and Verifier, version 0.10, software, 2023
Authors: KROENING, D.; MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T.; MUKHERJEE, R.; MARTIČEK, Š.; NEČAS, F.; HRUŠKA, M.; BRAIN, M.; BUECHELI, S.; DAVID, C.; KUMAR, M.; WATCHER, B.