  Název práce |
Rok vypsání |
Rok obhájení |
Typ práce | Obor práce | Vedoucí / školitel |
Řešitel |
Vypsáno |
Zadáno | Ústav | Fakulta | |
 |
Using Constrained Horn Clauses for Hierarchical Planning | 2020/2021 | 2020/2021 | bakalářská práce | Mgr. Martin Blicha | Bc. Marián Kažimír | 27.01.2021 | 29.01.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
IC3 with Implicit Predicate Abstraction for Golem Horn solver | 2022/2023 | bakalářská práce | Mgr. Martin Blicha | 03.10.2022 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |||
|
Implementation of a prototyped MCSat-based SMT solver | 2022/2023 | bakalářská práce | Mgr. Martin Blicha | 03.10.2022 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |||
|
Branching loop summarization | 2020/2021 | 2020/2021 | diplomová práce | ISS | Mgr. Martin Blicha | skrytý |
08.10.2020 | 09.02.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Property directed k-induction for Golem Horn solver | 2022/2023 | bakalářská práce | Mgr. Martin Blicha | 03.10.2022 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |||
|
Bit-vector solver pro OpenSMT | 2022/2023 | diplomová práce | Mgr. Martin Blicha | 08.10.2020 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
Výsledky 1-6 z 6 1