Dynamic Verification of End-to-End Multiprocessor Invariants.

Daniel J. Sorin, Mark D. Hill, David A. Wood

Browse the full DSN paper archive.