Formal Verification, Symbolic Execution, Smart Contract Auditing, Cybersecurity, Smart Contracts.
Every auditor and smart contract engineer should be able to manually review their own code. ChatGPT isn’t good enough. Manual review is great, but we need to make sure we don’t rely purely on humans for results, we need to have automated processes so we can have more assurance that bugs are found.