tla-plus

TLA+ formal verification for modeling and verifying concurrent algorithms and distributed systems.Us