Softwareverification in the industry

Hi everyone,

I’m currently working with a university research group, and we’re exploring the real-world use of software verification tools in industry.

We’re particularly interested in whether there is a market for mathematical reasoning tools (e.g., formal verification, model checking, static analysis) and how they are actually being used in practice — for example, in quality assurance, software development, or compliance-heavy industries like automotive or aerospace.

So I wanted to ask:

• How do companys currently ensure that security and quality standards for software are met?

• What are the motivations behind their use (safety, certifications, cost reduction, etc.)?

Even short replies or anecdotal insights would be super helpful. Also, if you have any references or case studies, we’d be grateful!

Thanks a lot in advance,

Simon