OneThirdRuleVerifier:PROMELA源代码用于验证称为“第三规则共识算法”的分布式共识算法 one source code

三分之一共识阿尔戈特姆的验证。 由Hassan S. Matar和Suha Orhun Mutluergil(c)2013开发 算法伪代码 初始化: Xp := Vp 回合r: 建议零售价: send to all processes Trp: if | HO (p,r)| > 2n / 3 then Xp := the smallest most often received value if more than 2n/3 values received are equal to bar then DECIDE(bar) 待办事项:实现presudocode中的每一行。 在verify.pml上编写代码 / *还会有更多。 好玩才刚刚开始。 * /