George Karpenkov
George Karpenkov
VERIMAG
Verified email at metaworld.me - Homepage
TitleCited byYear
Program analysis with local policy iteration
EG Karpenkov, D Monniaux, P Wendler
International Conference on Verification, Model Checking, and Abstract …, 2016
122016
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
92016
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
The system can't perform the operation now. Try again later.
Articles 1–4