Examining On-Machine Verification