HitMC

This project builds a model checker for distributed systems using the idea of hitting families of schedules (Chistikov, Majumdar, and Niksic, CAV 2016).

Build Instructions

Prerequisites are Apache Ant and Apache Maven (at least version 3.x).

First build ZooKeeper:

1. Enter zookeeper-3.4.3
2. Execute ant

Then build HitMC:

1. Enter HitMC
2. Execute mvn install
3. Enter HitMC/zookeeper-wrapper
4. Execute mvn package
5. Enter HitMC/zookeeper-ensemble
6. Execute mvn package