Verification Processor Machine Code Definition Computer Science