有限检验(finite verification)亦称顶点检验.指系统族的某一性质(如稳定性、动态性能等)可由系统族中的有限个系统的同一性质所保证.有限检验具有有限检验结论的性质，因而可以在很大程度上减少计算量.对于区间系统族，有限检验结论也称为哈里托诺夫型结论.若所需检验顶点系统数目与系统族的阶次无关，则称为强哈里托诺夫型结论;若所需检验的顶点系统数目是系统族阶次的多项式函数，则称该结论为几乎强哈里托诺夫型结论;若所需检验的顶点系统数目是系统族阶次的指数函数，则称该结论为弱哈里托诺夫型结论.有限检验与哈里托诺夫型结论主要有哈里托诺夫定理、菱形族定理以及关于哈里托诺夫区域和凸方向的研究结果.