Publications

Export 2 results:
Author Title [ Type(Asc)] Year
Filters: Author is Konstantin Britikov  [Clear All Filters]
Conference Paper
SolTG: A CHC-based Solidity Test Case Generator, Britikov, Konstantin, Zlatkin Ilia, Fedyukovich Grigory, Alt Leonardo, and Sharygina Natasha , Computer Aided Verification, (2024)
The Golem Horn Solver, Blicha, Martin, Britikov Konstantin, and Sharygina Natasha , Computer Aided Verification, (2023)