Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina. Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. In 58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021. pages 541-546, IEEE, 2021. [doi]
Abstract is missing.