Context Pruning for More Robust SMT-based Program Verification.

Yi Zhou, Jay Bosamiya, Jessica Li, Marijn J. H. Heule, Bryan Parno

Browse the full FMCAD paper archive.