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