tla-specification

TLA+ formal specification language for distributed systems and concurrent algorithms