Author:Konstantin Korovin

Publications
EasyChair Preprint no. 9606

Keyphrases

abstraction refinement, automated reasoning, Bounded Model Checking, EPR, EPR fragment, first-order logic, interpolation, k-induction, linear arithmetic, Quantified First-Order Logic, SMT2, theorem proving2.