本文档是Dedaub公司提供的软件服务的使用协议条款。该服务主要针对EVM区块链协议，通过静态分析、形式化验证等技术检测智能合约的安全漏洞。协议规定了服务的使用范围、费用支付、知识产权、数据处理、责任限制以及争议解决方式等内容，用户使用该服务需要同意这些条款。
Dedaub