Executing the formal semantics of the Accellera Property Specification Language by mechanised theorem proving (2003)

Cached

Download Links

by Mike Gordon , Joe Hurd , Konrad Slind
Venue:Proc. 12 th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2003), Lecture
Citations:14 - 2 self