SymDiff

Language:
English
SymDiff, a language-agnostic tool for equivalence checking and displaying semantic (behavioral) differences over imperative programs. Last published: December 26, 2012.