跳到正文
bibibi
市场热点
项目资料
名人快讯
数据中心
新手学堂
安全中心
English
登录 / 注册
市场热点
名人快讯
安全中心
热点
项目
数据
学堂
我的
正在加载…
术语词典
词汇解释
自动化定理证明
形式化验证中用于判断合约规范与特性是否成立的一类自动化检查方法。
阅读相关课程