Golem: a flexible and efficient solver for constrained Horn clauses, Blicha, Martin, Britikov Konstantin, and Sharygina Natasha , Formal Methods in System Design, (2025)

• Google Scholar
• BibTeX

Reachability Analysis for Multiloop Programs Using Transition Power Abstraction, Britikov, Konstantin, Blicha Martin, Sharygina Natasha, and Fedyukovich Grigory , FM 24, 09/2024, (2024)

• Google Scholar
• BibTeX

SolTG: A CHC-based Solidity Test Case Generator, Britikov, Konstantin, Zlatkin Ilia, Fedyukovich Grigory, Alt Leonardo, and Sharygina Natasha , Computer Aided Verification, (2024)

• Google Scholar
• BibTeX

The Golem Horn Solver, Blicha, Martin, Britikov Konstantin, and Sharygina Natasha , Computer Aided Verification, (2023)

• Google Scholar
• BibTeX