A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs.

Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar

Browse the full SCAM paper archive.