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
1
Publication
58th ACM/IEEE Design Automation Conference (DAC 2021)