This repository is used to store resources used in my old work about model checking of consensus algorithms.

2011 Distributed Computing paper

• T. Tsuchiya and A. Schiper, Verification of Consensus Algorithms Using Satisfiability Solving, Distributed Computing, 2011, Volume 23, Number 5-6

The tarball contains all files used in our experiment. To test them you need:

• Yices
• NuSMV
• SPIN
• ALV

Work done by Takahiro Minamikawa and I

• T. Minamikawa, T. Tsuchiya, and T. Kikuno, Towards Automated Verification of Distributed Consensus Protocols, 16th Asia-Pacific Software Engineering Conference (APSEC 2009), 499-506, December 2009.

• T. Minamikawa, T. Tsuchiya, and T. Kikuno, Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms, 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2008), 40-47, December 2008.

The zip file contains the source code of the translator. The program was written by Takahiro Minamikawa.