Формальная верификация ПО

Для повышения надёжности ключевые элементы компьютерной инфраструктуры (см. section 1.20 стр. *) должны быть формально верифицированы т.е. для них должно быть сделано математическое доказательство того, что они соответствуют требованиям.