“There's two main objections to FM that we need to address. The first is that FM is too academic and doesn't provide a tangible, practical benefit. The second is that FM is too hard; only PhDs and rocket scientists can economically use it.”
https://buttondown.com/hillelwayne/archive/how-to-convince-engineers-that-formal-methods-is/