Wrong! There are many tools to build formally verifiable systems and used to build cloud services (Amazon used TLA) and operating system components (MSR has static verified for drivers, USB stack uses models etc.,) https://t.co/oK3EK8ZXNe. https://t.co/l
"Why Amazon Chose TLA+" ( https://t.co/R423klaYoQ ) is a great piece about formal methods IRL. It's behind a paywall... but FYI... https://t.co/dF7YcLQRWC exists. And if you append a DOI to SciHub's URL, it gives you the paper...
@muratdemirbas @yawaramin https://t.co/fZqAzAkqVa footnote 5 (model had 31 billion states)