Blockchain, Ethereum, Simulation.
In this post we explore formal verification and argue that it is a strong complement to simulation. We will cover: Part 1. A high level overview of the Uniswap contract Part 2. How to test the security of blockchain systems Part 3. A history of formal verification for the Uniswap smart contracts