HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Martin Blicha

Publications
Function Summarization Modulo Theories
Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine Even-Mendoza, Natasha Sharygina and Hana Chockler
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

Bounded Model Checking, Craig interpolation, Function Summaries, incremental verification, Satisfiability Modulo Theories, software verification.

Copyright © 2012-2025 easychair.org. All rights reserved.