列举几种验证主要模型的特殊方法。