Verification of synchronous sequential machines based on symbolic execution (1989)

by O Coudert, C Berthet, J C Madre
Venue:Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems, volume 407 of LNCS