Managing State Explosion Through Runtime Verification Sharad Malik Princeton University Gigascale Systems Research Center (GSRC) Hardware Verification.
Runtime Verification: A Computer Architecture Perspective
Managing State Explosion Through Runtime Verification