Pact: Automatic Formal Verification for Smart Contracts #1 Post by mleafer » Fri, Feb 22, 2019, 5:55 PM UTC Pact: Automatic Formal Verification for Smart Contractsmedium.com