Verification of models (#5220) - Basecamp