![]() ![]() |
![]() ![]() |
![]() ![]() |
Thesis type | Thesis discipline | ![]() ![]() |
![]() ![]() |
![]() ![]() |
Assigned | Department | Faculty | |
![]() |
Decision procedure for Linear Integer Arithmetic for modern SMT solver | 2023/2024 | diploma thesis | I | doc. RNDr. Jan Kofroň, Ph.D. | 07.11.2019 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
![]() |
Techniques for equivalence checking in the context of compiler optimizations | 2024/2025 | diploma thesis | doc. RNDr. Jan Kofroň, Ph.D. | 08.10.2020 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
Results 1-2 of 2 1