Collaborated with:
K.Banerjee C.A.Mandal
Talks about:
framework (1) translat (1) equival (1) symbol (1) propag (1) fsmdas (1) valid (1) check (1) valu (1) base (1)
Person: Dipankar Sarkar
DBLP: Sarkar:Dipankar
Contributed to:
Wrote 1 papers:
- SCAM-2015-BanerjeeMS #equivalence #framework #validation
- A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs (KB, CAM, DS), pp. 247–252.