pingcaptla-plus

Name: pingcap/tla-plus
Author: pingcap

View on GitHub

0 stars0 forks0 views

Tla Plus

Features

Formal Methods and Simulation - Formal specification of consensus protocols and distributed transactions.

Open-source alternatives to Tla Plus

Similar open-source projects, ranked by how many features they share with Tla Plus.

atomix/atomix-jepsen
atomix/atomix-jepsen
0View on GitHub
View on GitHub0
atomix/copycat
atomix/copycat
0View on GitHub
View on GitHub0
madsim-rs/madsim
madsim-rs/madsim
0View on GitHub
View on GitHub0
siddontang/chaos
siddontang/chaos
0View on GitHub
View on GitHub0

See all 5 alternatives to Tla Plus

Frequently asked questions

What are the main features of pingcap/tla-plus?

The main features of pingcap/tla-plus are: Formal Methods and Simulation.

What are some open-source alternatives to pingcap/tla-plus?

Open-source alternatives to pingcap/tla-plus include: atomix/atomix-jepsen. atomix/copycat. madsim-rs/madsim. siddontang/chaos. ydb-platform/jepsen.ydb.

Star history

How this analysis was created: This summary and feature list were written by an AI model that read the project's README and public documentation pages. Each feature links to the documentation it came from; stars, license and language come straight from the GitHub API. The model does not read the source code, and the analysis is refreshed when the project is re-analysed. Learn more on our About page.