跳到正文
bibibi
市场热点
项目资料
名人快讯
数据中心
新手学堂
安全中心
English
登录 / 注册
市场热点
名人快讯
安全中心
热点
项目
数据
学堂
我的
正在加载…
术语词典
词汇解释
形式化验证
把合约逻辑和预期行为表示为数学语句,并用自动化工具检查两者是否一致的验证方法。
阅读相关课程