Theory-Specific Proof Steps Witnessing Correctness of SMT Executions

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