tla
- Text
- TLA+ is a formal specification language for modeling concurrent and distributed systems, and proving their correctness.
← Knowledge Base