Fibril Verifier is a library for model checking Fibril systems.
Please see the fibril_verifier docs.
fibril_verifier