Formal Verification, Solidity, Smart Contracts, Techniques, Application.
decentralized lending platform, used the SMT solver Z3 to verify the correctness of its smart contract code. The verification process helped to identify several bugs, some of which were fixed through code refactoring. These case studies demonstrate the potential of formal verification in improving