> What industries are using formal methods to not crash things? Aerospace and chip design are the two major industries that make regular use of formal methods.

> What industries are using formal methods to not crash things? Aerospace and chip design are the two major industries that make regular use of formal methods. > Uber and... Tesla... cowboying... And the old guard is even worse - recall Jeep... Yes, most of the auto industry has been slow to the table when it comes to taking software quality and capability seriously. Uber has a prototype, not a product, and Tesla has a young product. We'll see what engineering practices they adopt over the next 15 years. > The idea of formally verifying a DNN image classifier seems absurd https://www.google.com/search?q=verification+of+deep+neural+nets https://www.google.com/search?q=verification+of+deep+neural+...