tatsuhirotsuchiya / consensus-verification

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