Проверяет корректность ПО с помощью математических методов и инструментов, доказывает отсутствие критических ошибок, анализирует алгоритмы и логику систем на формальном уровне.
На данный момент нет содержимого, классифицированного этим термином.
Справочник Учебных заведений
Инженер формальной верификации программ (Formal Verification Engineer)