You are here

Publications

Export 3 results:

BibTeX

Filters: Author is Konstantin Britikov [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

G

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

R

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

S

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