Publications
Export 2 results:
Author [ Title] Type Year Filters: Author is Konstantin Britikov [Clear All Filters]
SolTG: A CHC-based Solidity Test Case Generator,
, Computer Aided Verification, (2024)
The Golem Horn Solver,
, Computer Aided Verification, (2023)