Numerical Control Verification