Verifying Smart Contracts In the Move Language (article)

[aggdotred]

Found this article on Hacker News:

https://synthetic-minds.com/pages/blog/blog-2019-09-11.html