Exactly why any good Software Engineering, certified from Engineering Society of the respective country, has formal methods as part of the compulsory lectures.

Proper engineers learn them, not random dudes that decide to call themselves "engineers" after a six weeks bootcamp.