Verification of Smart Contracts with Dafny – FMICS paper examples - View it on GitHub