Verification of synchronous sequential machines using symbolic execution (1989)

by O Coudert, C Berthet, J C Madre
Venue:in Proc. Workshop on Automatic Verification Methods for Finite State Machines