/consensus-verification

This repository store resources related to our project on model checking of consensus algorithms.

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:

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.