«formal verification»

formal verification в энциклопедиях

Источники

формальная верификация (формальное доказательство соответствия программы ее спецификации)