- The Golem Horn Solver2023 | Matematicko-fyzikální fakulta
- CHC Model Validation with Proof Guarantees2024 | Matematicko-fyzikální fakulta
- SolCMC: Solidity Compiler's Model Checker2022 | Matematicko-fyzikální fakulta
- Split Transition Power Abstraction for Unbounded Safety2022 | Matematicko-fyzikální fakulta