Verifying temporal properties of sequential machines without building their state diagrams (1991)

by O Coudert, J C Madre, C Berthet
Venue:Computer-Aided Veri cation '90, American Mathematical Society - Association for Computing Machinery