Managing State Explosion Through Runtime Verification Managing State Explosion Through Runtime Verification Sharad Malik Princeton University Gigascale Systems Research Center…