Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving (2003)

by M Gordon, J Hurd, K Slind
Venue:Correct Hardware Design and Verification Methods, LNCS 2860