fibril_verifier 0.0.9

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