Konstantin Britikov

According to our database, Konstantin Britikov authored at least 4 papers between 2023 and 2024.

Collaborative distances:

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

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