In some cases, yes. See Software Verification [1] for some pointers. It's massively more expensive, so you'll see it used in aerospace, railway signalling, so

In some cases, yes. See Software Verification [1] for some pointers. It's massively more expensive, so you'll see it used in aerospace, railway signalling, some vehicles (trains, components of some cars), power generation and distribution, industrial processes. Sometimes also in consumer products that have long warranties and are extremely expensive to recall/repair, like washing machines. Just yesterday was a post on a formally-verified C compiler, used by Airbus (and others) [2] [1] https://en.wikipedia.org/wiki/Software_verification https://en.wikipedia.org/wiki/Software_verification [2] https://news.ycombinator.com/item?id=27648735 https://news.ycombinator.com/item?id=27648735