Follow
( Publications: 37 | Followers: 0 )

DDEC: Data-Driven Equivalence Checking

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

Publish on Category: All 10

0

Embed

Share

Upload

DDEC: Data-Driven Equivalence Checking