Verify Numerical Supervisory Controls