Pact: Automatic Formal Verification for Smart Contractshttps://medium.com/kadena-io/pact-formal-verification-for-blockchain-smart-contracts-done-right-889058bd8c3f by mleafer • 7 years ago 2 0 7 years agoMEmedium.com