Formal Verification, Solidity, Smart Contracts, Techniques, Application.
market platform. The audit identified several vulnerabilities, some of which were fixed through formal verification. 3. Augur: Augur, a decentralized prediction market platform, used the Mythril tool to detect and fix several vulnerabilities in its smart contracts. 4. MakerDAO: MakerDAO, a