Verified models