| Title | Function Summarization Modulo Theories |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Asadi, Sepideh, Blicha Martin, Fedyukovich Grigory, Hyvärinen Antti E. J., Even-Mendoza Karine, Sharygina Natasha, and Chockler Hana |
| Conference Name | 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR |
| Publisher | EasyChair Publications |
| Conference Location | Ethiopia |
| Keywords | Author keywords: Software Verification Bounded Model Checking, Craig Interpolation, Function Summaries, Incremental Verification, Satisfiability Modulo Theories, Software Verification |
| URL | https://easychair.org/publications/paper/nNLJ |
| DOI | 10.29007/d3bt |
| Full Text |
Formal Verification and Security Lab
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.
