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

by O Coudert, C Berthet, J C Madre
Venue:Proceedings of the