I read a StackExchange question basically asking "Why formal method is not popular?"

A typical response is "Most of softwares is not building aircrafts".

And... After googled for a while, it turns out companies building aircraft don't use formal method.