Práce na příbuzné téma (mají shodná klíčová slova):

static analysis, reduced product, llvm, abstract interpretation, abstract domains, domain product, canal

Klíčová slova abecedně | Klíčová slova dle četnosti

51.
Urban, Lukáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Adapting SBT-Fizzer for Test-Comp | Práce na příbuzné téma Zobrazit popisek

52.
Vejnár, Martin
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: C++ support for Stanse | Práce na příbuzné téma

53.
Vitovský, Petr
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Převod LLVM bitkódu do C | Práce na příbuzné téma

54.
Žáčik, Pavol
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost
Obhajoba diplomové práce: Analyzing semantic stability of cryptography libraries using Diffkemp | Práce na příbuzné téma