Theory-Specific Proof Steps Witnessing Correctness of SMT Executions

Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

January 2021

Type

Conference paper

Publication

58th ACM/IEEE Design Automation Conference (DAC 2021)