-
公开(公告)号：CN116402613A
公开(公告)日：2023-07-07
申请号：CN202310463101.1
申请日：2023-04-26
Applicant: 浙江大学
Abstract: 本发明公开一种跨链智能合约的形式验证方法，基于形式化验证方法实现，依据跨链智能合约的业务和已有漏洞，设计并建立了安全的形式化验证规范，转化成可形式化验证的数学逻辑表达式；还描述了验证的具体步骤，解析字节码构建流程控制图，生成符号化路径，使用SMT求解器Z3进行规范证明，从而提高跨链合约的安全性。
Search Results
1
records
(took 0.014 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
