![]() ![]() |
![]() ![]() |
![]() ![]() |
Typ práce | Obor práce | ![]() ![]() |
![]() ![]() |
![]() ![]() |
Zadáno | Ústav | Fakulta | |
![]() |
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 | |||
![]() |
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-4 z 4 1