HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Konstantin Korovin

Publications
LPAR-22 Workshop and Short Paper Proceedings
Gilles Barthe, Konstantin Korovin, Stephan Schulz, Martin Suda, Geoff Sutcliffe and Margus Veanes (editors)
Kalpa Publications in Computing, volume 9
Towards an Abstraction-Refinement Framework for Reasoning with Large Theories
Julio Cesar Lopez Hernandez and Konstantin Korovin
In:IWIL Workshop and LPAR Short Presentations
EPR-based k-induction with Counterexample Guided Abstraction Refinement
Zurab Khasidashvili, Konstantin Korovin and Dmitry Tsarkov
In:GCAI 2015. Global Conference on Artificial Intelligence
UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Santiago Escobar, Konstantin Korovin and Vladimir Rybakov (editors)
EPiC Series in Computing, volume 24
Instantiations, Zippers and EPR Interpolation
Nikolaj Bjorner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav
In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
IWIL 2012. The 9th International Workshop on the Implementation of Logics
Konstantin Korovin, Stephan Schulz and Eugenia Ternovska (editors)
EPiC Series in Computing, volume 22
UNIF 2013. 27th International Workshop on Unification
Konstantin Korovin and Barbara Morawska (editors)
EPiC Series in Computing, volume 19

Keyphrases

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

Copyright © 2012-2019 easychair.org. All rights reserved.