4 ms·
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 (o
by doteka 6y ago
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?)
- TheUndead96 6y agoThe "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. EDIT: I now think it was French, source https://www.prover.com/portfolio-items/ratp-paris/ https://www.prover.com/portfolio-items/ratp-paris/
- lecunn 6y agohttps://aws.amazon.com/security/provable-security/?nc1=h_ls https://aws.amazon.com/security/provable-security/?nc1=h_ls
- deckplecksetter 6y agoIt's used to some extent in the aviation industry for flight-critical software. So maybe huge in some contexts.