| Title | Duality-Based Interpolation for Quantifier-Free Equalities and Uninterpreted Functions |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Alt, Leonardo, Hyvärinen Antti, Asadi Sepideh, and Sharygina Natasha |
| Conference Name | 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017) |
| Publisher | IEEE XPlore and ACM Digital Libraries |
| Conference Location | TU Wien, Vienna, Austria, |
| URL | http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/fmcad17_proceedings.pdf |
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.
