Konstantin Britikov

According to our database, Konstantin Britikov authored at least 7 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Analyzing multiloop programs with Golem.

Konstantin Britikov, Martin Blicha, Natasha Sharygina, Grigory Fedyukovich

Sci. Comput. Program., 2026

2025

Golem: a flexible and efficient solver for constrained Horn clauses.

Martin Blicha, Konstantin Britikov, Natasha Sharygina

Formal Methods Syst. Des., November, 2025

CHC-Based Reachability Analysis via Cycle Summarization.

Konstantin Britikov, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Integrated Formal Methods - 20th International Conference, 2025

2024

Reachability Analysis for Multiloop Programs Using Transition Power Abstraction.

Konstantin Britikov, Martin Blicha, Natasha Sharygina, Grigory Fedyukovich

Proceedings of the Formal Methods - 26th International Symposium, 2024

SolTG: A CHC-Based Solidity Test Case Generator.

Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Picky CDCL: SMT-Solving with Flexible Literal Selection.

Konstantin Britikov, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Verified Software. Theories, Tools and Experiments, 2023

The Golem Horn Solver.

Martin Blicha, Konstantin Britikov, Natasha Sharygina

Proceedings of the Computer Aided Verification - 35th International Conference, 2023