An industrially effective environment for formal hardware verification (2005)

by C-J H Seger, R B Jones, J W O’Leary, T F Melham, M Aagaard, C Barrett, D Syme