# Fibril Verifier

Fibril Verifier is a library for model checking [Fibril](https://docs.rs/fibril/) systems.

## Usage

Please see [the `fibril_verifier` docs](https://docs.rs/fibril_verifier/).