Verification and Simulation as Necessary Complements in Smart Contract Securityhttps://medium.com/gauntlet-networks/formal-verification-and-incentive-simulation-as-necessary-complements-in-smart-contract-security-67a571ebcce8 by Peteris • 7 years ago 6 0 7 years agoMEmedium.com