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...
@ScottAnthonyUSA https://t.co/oMw508scKF , not sure if this is relevant?
Specifying Transaction Control to Serialize Concurrent Program Executions. https://t.co/XVn75fZCFP
https://t.co/6BTvE964pi Specifying Transaction Control to Serialize Concurrent Program Executions. (arXiv:1706.01762v1 [cs.DB]) #databases
@muratdemirbas @yawaramin https://t.co/fZqAzAkqVa footnote 5 (model had 31 billion states)
そのうち趣味でやろうとしていたことと似たようなことしているやつやっぱりあった|αRby—An Embedding of Alloy in Ruby|https://t.co/TnG9Fsyk9o
αRby—An Embedding of Alloy in Ruby http://t.co/YJbZLSqzt3 #springerlink