Konstantin Britikov
https://usi.to/baz7
Publications
Journal Article (1)
- Sharygina N., Blicha M., Britikov K. (2025) Golem: a flexible and efficient solver for constrained Horn clauses, Formal Methods in System Design
Article in conference proceedings (4)
- Sharygina N., Britikov K., Zlatkin I., Fedyukovich G., Alt L. (2024) SolTG: A CHC-Based Solidity Test Case Generator. CAV. Montreal, QC, Canada. July 24-27, 2024
- Sharygina N., Britikov K., Blicha M., Fedyukovich G. (2024) Reachability Analysis for Multiloop Programs Using Transition Power Abstraction. FM 2024. Milan, Italy. September 9-13, 2024
- Sharygina N., Blicha M., Britikov K. (2023) The Golem Horn Solver. CAV 2023. Paris, France. July 17-22, 2023
- Sharygina N., Britikov K., Hyvärinen A. (2023) Picky CDCL: SMT-Solving with Flexible Literal Selection. VSTTE 2023. Ames, IA, USA. December 12-15, 2023
