Verification of Synchronous Sequential machines based on symbolic execution (1989)

by O Coudert, C Berthet, J C Madre
Venue:In Proc. Intemation Conf. on Cornputer-Aided Design