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 |
Výsledky 1-2 z 2 1