The following publications are possibly variants of this publication:
- Improving Performance of a Path-Based Equivalence Checker Using Counter-ExamplesRamanuj Chouksey, Chandan Karfa, Purandar Bhaduri. vlsid 2019: 377-382 [doi]
- Deriving bisimulation relations from path based equivalence checkersKunal Banerjee, Dipankar Sarkar, Chittaranjan A. Mandal. fac, 29(2):365-379, 2017. [doi]
- Deriving Bisimulation Relations from Path Extension Based Equivalence CheckersKunal Banerjee, Dipankar Sarkar, Chittaranjan Mandal. TSE, 43(10):946-953, 2017. [doi]
- Extending the scope of translation validation by augmenting path based equivalence checkers with SMT solversKunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar. vdat 2014: 1-6 [doi]