PROMELA source code to verify a distributed consensus algorithm called "One-Third Rule Consensus Algorithm".