George Karpenkov
George Karpenkov
Verified email at - Homepage
TitleCited byYear
Program analysis with local policy iteration
EG Karpenkov, D Monniaux, P Wendler
International Conference on Verification, Model Checking, and Abstract …, 2016
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
Formula slicing: Inductive invariants from preconditions
EG Karpenkov, D Monniaux
Haifa Verification Conference, 169-185, 2016
LPI: software verification with local policy iteration
EG Karpenkov
International Conference on Tools and Algorithms for the Construction and …, 2016
The system can't perform the operation now. Try again later.
Articles 1–4