Process Verification and Statistical Sampling