Verification Processor Machine Model