Работа формальных методов заключается в выяснении предположений, от которых зависит формальная правильность.