Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition.

Shubhani Gupta, Aseem Saxena, Anmol Mahajan, Sorav Bansal

Browse the full SAT paper archive.