github.com/cockroachdb/cockroach@v20.2.0-alpha.1+incompatible/docs/tla-plus/README.md (about)

     1  # TLA+ in CockroachDB
     2  
     3  ## About TLA+
     4  
     5  TLA+ is a formal specification and verification language to help engineers design, specify, reason about, and verify complex software and hardware systems. It is widely used to verify the algorithms in distributed systems.
     6  
     7  For further information about TLA+, see [tla-plus-resources](https://github.com/cmschmtt/tla-plus-resources).
     8