King's College London

Research portal

Ms Karine Even Mendoza

Former student

Project Title: Efficient SMT-Based Verification of Software Programs

End date: 31/07/2020

ORCID: 0000-0002-3099-1189

Scopus Author ID: 57195542338

Department

Supervised by

  • Lattice-based SMT for Program Verification

    Even Mendoza, K., Hyyvarinen, A., Chockler, H. & Sharygina, N., 9 Oct 2019, MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design: 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. ACM, A16

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Function Summarization Modulo Theories

    Asadi, S., Blicha, M., Fedyukovich, G., Hyyvarinen, A., Even Mendoza, K., Sharygina, N. & Chockler, H., 16 Nov 2018, LPAR-22: 22nd International Conference on Logic for Programming, Articial Intelligence and Reasoning. Vol. 57. p. 56-75 (EPiC Series in Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  • Lattice-Based Refinement in Bounded Model Checking

    Even Mendoza, K., Asadi, S., Hyyvarinen, A., Chockler, H. & Sharygina, N., 18 Jul 2018, Verified Software. Theories, Tools, and Experiments (VSTTE) 2018. Switzerland: Springer, p. 50-68 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  • Theory Refinement for Program Verification

    Hyyvarinen, A., Asadi, S., Even Mendoza, K., Fedyukovich, G., Chockler, H. & Sharygina, N., 9 Aug 2017, 20th International Conference on Theory and Applications of Satisfiability Testing (SAT). Springer, Vol. 10491. p. 347-363

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

View all (5) »

Top downloads

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454