SMT检验标准[1]