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

smt-solving, z3, constrained horn clauses, model based projection, spacer engine

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

1.
Kumor, Kristián
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Compact Symbolic Execution in Slowbeast | Práce na příbuzné téma Zobrazit popisek

2.
Lauko, Dominika roz. Krejčí
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vliv aproximací bit-vektorů na výkon nástroje Z3 | Práce na příbuzné téma

3.
Maksović, Sofija
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Model-Based Analysis of Forensic-Ready Software Systems | Práce na příbuzné téma

4.
Pavlík, Matěj
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementation of 3-valued BDDs in Q3B | Práce na příbuzné téma

5.
Sloupová, Kateřina
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: Aproximace formulí v teorii bit-vektorů | Práce na příbuzné téma

6.
Szymsza, Jakub
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Tuned Sifting in CUDD for Satisfiability Solving | Práce na příbuzné téma