Theory-Specific Proof Steps Witnessing Correctness of SMT Executions

Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
January 2021
Cite DOI URL
Type
Conference paper
Publication
58th ACM/IEEE Design Automation Conference (DAC 2021)

Add the full text or supplementary notes for the publication here using Markdown formatting.