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