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