Перевіряє коректність ПЗ за допомогою математичних методів та інструментів, доводить відсутність критичних помилок, аналізує алгоритми та логіку систем на формальному рівні.
Специальности 2025:
Наразі нема вмісту класифікованого цим терміном.
