Huge? I have worked in this industry for a while now and never heard anyone outside of HN even mention it. Itβs decidedly not huge for any definition of huge (outside of academia maybe?)
The "big production" example that kept being referred to in university was a (Belgian?) metro system. I think it was well suited to formal verification because it had a finite number of valid states, and the cost of failure was sufficient to justify the investment.
