fibril_verifier (cargo): Verifies behavior for distributed systems implemented with the Fibril library.
Keywords: actor|simulation|paxos|raft|model-checking