Formal Verification, Solidity, Smart Contracts, Techniques, Application.
smart contracts that uses a combination of rule-based and machine learning techniques to detect vulnerabilities. It supports Solidity and can be used as a command-line tool or as a web service. 6. SmartCheck: SmartCheck is a static analysis tool for Solidity smart contracts that uses a combination