Verifies behavior for distributed systems implemented with the Fibril library.
A library for implementing distributed systems with commmunicating fibers.
Core types for the Fibril library.