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

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