DDEC: Data-Driven Equivalence Checking

Equivalence checking. Prove two programs are equivalent. Compiler optimizations. Validate refactorings. Cross checking different implementations. Old and well studied ...