Publikace
- CHC Model Validation with Proof Guarantees2024 | Matematicko-fyzikální fakulta
- Using linear algebra in decomposition of Farkas interpolants2022 | Matematicko-fyzikální fakulta
- Transition Power Abstractions for Deep Counterexample Detection2022 | Matematicko-fyzikální fakulta
- Split Transition Power Abstraction for Unbounded Safety2022 | Matematicko-fyzikální fakulta
- Theory-Specific Proof Steps Witnessing Correctness of SMT Executions2021 | Matematicko-fyzikální fakulta
- A Cooperative Parallelization Approach for Property-Directed k-Induction2020 | Matematicko-fyzikální fakulta
- Decomposing Farkas Interpolants2019 | Matematicko-fyzikální fakulta
- Computing Exact Worst-Case Gas Consumption for Smart Contracts2018 | Matematicko-fyzikální fakulta
- Function Summarization Modulo Theories2018 | Matematicko-fyzikální fakulta
- The Golem Horn Solver2023 | Matematicko-fyzikální fakulta
Loading network view...