Theory-Specific Proof Steps Witnessing Correctness of SMT Executions

TitleTheory-Specific Proof Steps Witnessing Correctness of SMT Executions
Publication TypeConference Paper
Year of Publication2021
AuthorsOtoni, Rodrigo, Blicha Martin, Eugster Patrick, Hyvärinen Antti E. J., and Sharygina Natasha
Conference NameDAC 2021 - 58th Design Automation Conference
Date Published11/2021
PublisherIEEE
Conference LocationSan Francisco, CA, USA
DOI10.1109/DAC18074.2021.9586272