Outside of limited specific circumstances, formal verification gives you nothing that tests don't give you, and it makes development slow and iteration a chore. People know about it, and it's not used for lot of reasons.
This statement shows an intense lack of technical knowledge. You’re probably one of those ignorant managerial types.
First type checking is a form of formal verification and it’s used everywhere. Second have you heard of rust? Do you know why it’s becoming an alternative to C++ or C? Entirely because of its type checker or aka formal verification. It is the literal main reason why rust was created.
Have you heard of typescript? It’s essentially a formal verification layer over JavaScript. Everyone uses it now for the front end.
You don’t know what you’re talking about. I recommend you do some research before saying anything on this site.
> formal verification
Outside of limited specific circumstances, formal verification gives you nothing that tests don't give you, and it makes development slow and iteration a chore. People know about it, and it's not used for lot of reasons.