Auto Verification of Singular Models