EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations.

Miroslav N. Velev, Randal E. Bryant

Browse the full CAV paper archive.