fibril_verifier 0.0.3

Verifies behavior for distributed systems implemented with the Fibril library.
Documentation