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 | 2023/2024 | 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