Theory-Specific Proof Steps Witnessing Correctness of SMT Executions.

Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvrinen, Natasha Sharygina

Browse the full DAC paper archive.