Execution State Verification