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
PublisherTo appear
Conference LocationTo appear
ISBN NumberTo appear
Full Text