Mining Complex Boolean Expressions for Sequential Equivalence Checking

TitleMining Complex Boolean Expressions for Sequential Equivalence Checking
Publication TypeConference Paper
Year of Publication2010
AuthorsGoel, N., M. Hsiao, N. Ramakrishnan, and M. J. Zaki
Conference Name19th Asian Test Symposium (ATS’10)
Date Published12/2010
Conference LocationShanghai, China