Author:Konstantin Korovin

Publications

Keyphrases

abstraction refinement, Bounded Model Checking, EPR, EPR fragment, first-order logic, interpolation, k-induction, SMT, theorem proving.