基于FTDL的非对称协作通用验证方法

江西师范大学学报（自然科学版） ›› 2025, Vol. 49 ›› Issue (5) : 464 -469. DOI: 10.16357/j.cnki.issn1000-5862.2025.05.04

基于FTDL的非对称协作通用验证方法

汪宇涛, 游珍, 王昌晶, 万梓康

作者信息 +

Author information +

文章历史 +

PDF

该文提出了一种非对称协作通用验证方法，并以巨人、蚂蚁非对称协作场景作为实例，使用Isabelle/HOL定理证明器对其进行函数式建模．将该文实现的通用规约通过区域解释应用于巨人、蚂蚁非对称场景，并通过机械验证的方式确保了函数式建模的正确性，进而验证了此通用规约的有效性和可扩展性．

引用格式 ▾

基于FTDL的非对称协作通用验证方法[J]. 江西师范大学学报（自然科学版）, 2025, 49(5): 464-469 DOI:10.16357/j.cnki.issn1000-5862.2025.05.04

登录浏览全文

4963

原文顺序 | 出版日期 | 本文引用

PDF

访问

被引

详细

导航