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.

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.