Formally Verifying a Real World Smart Contract

Alexandre Mota, Fei Yang, Cristiano Teixeira

Nowadays, smart contracts have become increasingly popular and, as with software development in general, testing is the standard method for verifying their correctness. However, sm…