кстати о формализме

Вот есть такие "формальные методы" - ну типа когда чтобы спутник запустить, его код верифицируют и еще раз верифицируют. Ну и т.д.

Присутствуют тут такие люди? Что скажете? ООП?