一致性算法验证
于 2022-01-25 发布
文件大小:1.50 kB
0 171
下载积分: 2
下载次数: 1
代码说明：
分布性一致性算法的Isabella验证 we introduce a novel Broadcast-Free Algorithm that solves Consensusproblem in the presence of a Weak-Fairness property and an unreliablefailure detector -property, in asynchronous distributed systems, and later itsformal veri cation. The Broadcast-Free Algorithm Model is de ned as a globaltransition system that is unambigously generated by local transition rules. At thesystem run, the algorithm model attempts involves two concepts : one to systemrun represents a in nite computation and one to asynchronous communicationbetween processes without Broadcast.
下载说明：请别用迅雷下载，失败请重下，重下不扣分！
发表评论
