Formal Verification, Symbolic Execution, Smart Contract Auditing, Cybersecurity, Smart Contracts.
execution actually are we need a quick refresher on some of testing in Web3. If you haven’t seen my invariant testing video, be sure to watch that first before reading this. When testing, what tools do we use to have high assurance that our program works the way we want it? Layer 0| Manual Review