Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar. A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs. In Michael W. Godfrey, David Lo, Foutse Khomh, editors, 15th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2015, Bremen, Germany, September 27-28, 2015. pages 247-252, IEEE, 2015. [doi]
Abstract is missing.