fibril_verifier 0.0.5

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

Fibril is an experimental collection of Rust crates for implementing and verifying distributed systems.

Usage

Please see the fibril_verifier docs.