fibril_verifier 0.0.8

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