Publications
- SMT-based verification of program changes through summary repair2023 | Faculty of Mathematics and Physics
- Using linear algebra in decomposition of Farkas interpolants2022 | Faculty of Mathematics and Physics
- Transition Power Abstractions for Deep Counterexample Detection2022 | Faculty of Mathematics and Physics
- Split Transition Power Abstraction for Unbounded Safety2022 | Faculty of Mathematics and Physics
- A Cooperative Parallelization Approach for Property-Directed k-Induction2020 | Faculty of Mathematics and Physics
- Farkas-Based Tree Interpolation2020 | Faculty of Mathematics and Physics
- Decomposing Farkas Interpolants2019 | Faculty of Mathematics and Physics
- Function Summarization Modulo Theories2018 | Faculty of Mathematics and Physics
- CHC Model Validation with Proof Guarantees2024 | Faculty of Mathematics and Physics
- The Golem Horn Solver2023 | Faculty of Mathematics and Physics
Loading network view...