ydb-platformjepsen.ydb

Name: ydb-platform/jepsen.ydb
Author: ydb-platform

Jepsen.ydb

Features

Formal Methods and Simulation - Jepsen test implementation for the YDB database.

Projects sharing features with Jepsen.ydb

These projects share indexed features with Jepsen.ydb. Shared tags can include platform or build tooling; verify the primary use case before treating a result as a replacement.

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
pingcap/tla-plus
pingcap/tla-plus
0View on GitHub
View on GitHub0

Compare all 5 related projects

Frequently asked questions

What are the main features of ydb-platform/jepsen.ydb?

The main features of ydb-platform/jepsen.ydb are: Formal Methods and Simulation.

Which projects share features with ydb-platform/jepsen.ydb?

Projects with overlapping indexed features include: atomix/atomix-jepsen. atomix/copycat. madsim-rs/madsim. pingcap/tla-plus. siddontang/chaos.

Star history

How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.