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

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