Expand description
TLA-style state machines.
Originally developed in the paper “Anvil: Verifying Liveness of Cluster Management Controllers”. Modified from the original version which can be found on GitHub.
Re-exports§
pub use action::*;pub use state_machine::*;