osrg

https://github.com/smartbgp/yabgp

BIRD Internet Routing Daemon Project

reproduces the bug reported in ZOOKEEPER-1797 using earthquake.

Programmable Fuzzy Scheduler for Testing Distributed Systems

Docker-in-Docker + OVS + ryu + pipework Superpack

To run the example code

Earthquake Demo for https://issues.apache.org/jira/browse/ZOOKEEPER-2212

An Open-Source Framework of Implementation-level Distributed System Model Checkers

Docker-in-Docker Ubuntu 15.04