-
公开(公告)号：CN116389325A
公开(公告)日：2023-07-04
申请号：CN202310324016.7
申请日：2023-03-30
Applicant: 南京大学
IPC: H04L43/18 , G06F40/30 , H04L41/069 , G10L15/18
Abstract: 本发明公开一种基于语义信息的分布式共识协议模型检验优化方法，应用于典型的分布式共识协议、分布式系统。模型的状态空间爆炸一直是模型检验的痛点，当模型较为复杂时，缓解状态空间爆炸成为了巨大的挑战；分布式共识协议涉及多服务器节点间的消息传递，节点处理逻辑复杂，消息类型多样，模型往往是复杂的。本方法基于对分布式共识协议的语义信息的分析，缓解模型的状态空间爆炸，降低了计算资源成本，同时对状态空间做了多种优化手段，帮助提高验证模型正确性或寻找模型中不变式违反的效率。以ZooKeeper原子广播协议Zab为对象应用本发明，证实了基于语义信息的模型检验优化方法的合理性。
Search Results
1
records
(took 0.012 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
