JavaSMT: A unified interface for SMT solvers in Java EG Karpenkov, K Friedberger, D Beyer Verified Software. Theories, Tools, and Experiments: 8th International …, 2016 | 33 | 2016 |
Program analysis with local policy iteration EG Karpenkov, D Monniaux, P Wendler International Conference on Verification, Model Checking, and Abstract …, 2015 | 20 | 2015 |
Formula slicing: Inductive invariants from preconditions EG Karpenkov, D Monniaux Hardware and Software: Verification and Testing: 12th International Haifa …, 2016 | 10 | 2016 |
Finding inductive invariants using satisfiability modulo theories and convex optimization GE Karpenkov Université Grenoble Alpes (ComUE), 2017 | 3 | 2017 |
LPI: Software Verification with Local Policy Iteration: (Competition Contribution) EG Karpenkov International Conference on Tools and Algorithms for the Construction and …, 2016 | 3 | 2016 |
Proc. VMCAI 2016,(c) Springer Program Analysis with Local Policy Iteration EG Karpenkov, D Monniaux, P Wendler arXiv preprint arXiv:1509.03424, 2015 | | 2015 |