形式验证
xíngshì yànzhèng
комп. формальная верификация, формальное доказательство
примеры:
形式证券
формальное обязательство
пословный:
形式 | 验证 | ||
форма; внешний вид, внешность, облик, фигура; тип, вид; формальный; модальность
|
1) осмотреть, освидетельствовать, проверять подлинность
2) доказательство
3) валидация
|