Formal Verification, Symbolic Execution, Smart Contract Auditing, Cybersecurity, Smart Contracts.
(invariants). Solidity assert checker And we would see that again, it was able to find an input to break our assert mathematically. Recap So a lot of stuff just happened here. Let’s recap. We built some solidity. We understood our invariant. We used a symbolic execution tool like the built-in one