  Thesis title |
Year of announcement |
Year of defence |
Thesis type | Thesis discipline | Supervisor |
Author |
Announced |
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