Verified model