Technical Analysis Of The Correctness And Complexity Of EquivTester

Authors:

(1) Diptarka Chakraborty, National University of Singapore, Singapore

(2) Sourav Chakraborty, Indian Statistical Institute, Kolkata;

(3) Gunjan Kumar, National University of Singapore, Singapore;

(4) Kuldeep S. Meel, University of Toronto, Toronto.

This paper is available on arxiv under CC BY-NC-SA 4.0 DEED license.