  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 | |
 |
Bit-vector solver pro OpenSMT | 2024/2025 | diplomová práce | Mgr. Martin Blicha, Ph.D. | 08.10.2020 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |||
|
IC3 with Implicit Predicate Abstraction for Golem Horn solver | 2024/2025 | bakalářská práce | Mgr. Martin Blicha, Ph.D. | 03.10.2022 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |||
|
Using Constrained Horn Clauses for Hierarchical Planning | 2020/2021 | 2020/2021 | bakalářská práce | Mgr. Martin Blicha, Ph.D. | Bc. Marián Kažimír | 27.01.2021 | 29.01.2021 | 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, Ph.D. | skrytý |
08.10.2020 | 09.02.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
Výsledky 1-4 z 4 1