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.