Framework for distributed system's verification, with fault injection. - View it on GitHub