formal verifier

Определение

Компонент или инструмент, проверяющий корректность кода и спецификаций с использованием формальных методов.