↗suhaorhun/OneThirdRuleVerifierPROMELA source code to verify a distributed consensus algorithm called "One-Third Rule Consensus Algorithm".