Produkty
-
2023
DiffKemp: Statický analyzátor sémantických rozdílů, verze 0.4.0, software
Autoři: Glozar Tomáš, Malecová Tatiana, Malík Viktor, Rozek Jakub, Šilling Petr, Vojnar Tomáš, Žáčik Pavol2LS: Nástroj pro statickou analýzu a verifikaci, verze 0.10, software
Autoři: Brain Martin, Buecheli Samuel, David Cristina, Hruška Martin, Kroening Daniel, Kumar Madhukar, Malík Viktor, Martiček Štefan, Mukherjee Rajdeep, Nečas František, Schrammel Peter, Vojnar Tomáš, Watcher Björn