中文翻译暂不可用，显示俄语原文。
formal verifier
formal verifier
Определение
Компонент или инструмент, проверяющий корректность кода и спецификаций с использованием формальных методов.
中文翻译暂不可用，显示俄语原文。
Компонент или инструмент, проверяющий корректность кода и спецификаций с использованием формальных методов.