George Karpenkov
George Karpenkov
VERIMAG
Verified email at metaworld.me - Homepage
Title
Cited by
Cited by
Year
JavaSMT: A unified interface for SMT solvers in Java
EG Karpenkov, K Friedberger, D Beyer
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2016
152016
Program analysis with local policy iteration
EG Karpenkov, D Monniaux, P Wendler
International Conference on Verification, Model Checking, and Abstract …, 2016
132016
Formula slicing: Inductive invariants from preconditions
EG Karpenkov, D Monniaux
Haifa Verification Conference, 169-185, 2016
62016
LPI: software verification with local policy iteration
EG Karpenkov
International Conference on Tools and Algorithms for the Construction and …, 2016
32016
Proc. VMCAI 2016,(c) Springer Program Analysis with Local Policy Iteration⋆
EG Karpenkov, D Monniaux, P Wendler
arXiv preprint arXiv:1509.03424, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–5