Verification and Simulation as Necessary Complements in Smart Contract Security(medium.com)

https://medium.com/gauntlet-networks/formal-verification-and-incentive-simulation-as-necessary-complements-in-smart-contract-security-67a571ebcce8