Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/pingcap/tla-plus
https://github.com/pingcap/tla-plus
Last synced: about 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/pingcap/tla-plus
- Owner: pingcap
- License: apache-2.0
- Created: 2017-12-19T11:12:24.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2024-06-09T11:07:38.000Z (3 months ago)
- Last Synced: 2024-06-16T04:34:15.312Z (3 months ago)
- Language: TLA
- Size: 943 KB
- Stars: 288
- Watchers: 114
- Forks: 39
- Open Issues: 9
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# TLA+ in TiDB
## About TLA+
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.
## Using TLA+ in TiDB
In [TiDB](https://github.com/pingcap/tidb), we use TLA+ for the following purposes:
- To verify the distributed consensus algorithm - [Raft](https://github.com/pingcap/raft-rs).
- To verify the implementation of distributed transaction.For further information about TLA+, see [tla-plus-resources](https://github.com/cmschmtt/tla-plus-resources).