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
79 followers
253 followers
2,670 followers
"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...
281 followers
@ScottAnthonyUSA https://t.co/oMw508scKF , not sure if this is relevant?