Skip to content
bibibi
Market
Projects
People
Data
Learn
Security
中文
Log in / Sign up
Market
People
Security
Market
Projects
Data
Learn
Account
Loading…
Glossary
Definition
Translation in progress
自动化定理证明
形式化验证中用于判断合约规范与特性是否成立的一类自动化检查方法。
Read the related lesson