Verifying Hardware Correctness by Combining Theorem Proving and Model Checking (1995)

Cached

Download Links

by Klaus Schneider , Thomas Kropf
Venue:International Workshop on Higher Order Logic Theorem Proving and Its Applications: B-Track: Short Presentations
Citations:13 - 0 self