UDF Verifier