Follow
Publications: 0 | Followers: 0

DDEC: Data-Driven Equivalence Checking

Publish on Category: All 278

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

0

Embed

Share

Upload

Make amazing presentation for free
DDEC: Data-Driven Equivalence Checking