Runtime Verification: A Computer Architecture Perspective
Managing State Explosion Through Runtime Verification
