Fault-aware model checker for message passing systems - View it on GitHub