Chapter 17: Formal Methods for Blockchain

The cryptocurrency community has a burning need for the highest level of software assurance, as hacks on smart contracts regularly make the news and have drained hundreds of millions of dollars worth of various tokens in the past year. And laudably, many in that community have been pursuing formal methods, often with the help of academic researchers. We consider some examples in this chapter.