There's been companies around willing to do the work for a small premium for a long time. There's also software designed for security or making it easier. Here'

There's been companies around willing to do the work for a small premium for a long time. There's also software designed for security or making it easier. Here's a few, semi-random examples: http://www.sis.pitt.edu/jjoshi/Devsec/CorrectnessByConstruction.pdf http://www.sis.pitt.edu/jjoshi/Devsec/CorrectnessByConstruct... https://www.ghs.com/products/safety_critical/integrity-do-178b.html https://www.ghs.com/products/safety_critical/integrity-do-17... https://runtimeverification.com/match/ https://runtimeverification.com/match/ https://galois.com/blog/ https://galois.com/blog/ http://sel4.systems/ http://sel4.systems/ https://muen.codelabs.ch/ https://muen.codelabs.ch/ The defense buyers just don't use such companies or products in most cases. They know they don't have to due to corruption mostly. The money they save might even get someone a bonus for achieving some metric like keeping costs down. Mass market is similar where they don't buy the stuff either. So, the supply of high-security systems are extremely low, usually high per-unit as a result, and not prevalent. Sad but true...