Comment by MasterPI

The use of formal methods in NASA proves that they are useful and that the software industry should give it much more importance in my opinion.

https://ntrs.nasa.gov/search.jsp?N=0&Ntk=All&Ntt=formal%20me...