verify function

Dispatches execution to the most appropriate model verification function.