Verify Numerical Supervisory Development