fibril_verifier 0.0.12

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

Fibril Verifier

Fibril Verifier is a library for model checking Fibril systems.

Usage

Please see the fibril_verifier docs.