LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

testing-distributed-systems

Curated list of resources on testing distributed systems

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

17d ago

Recent commits

Latest commits.

Add "Gain confidence in system correctness using formal and semi-formal methods"
2f0872fAndrey Satarin4mo ago
Replace links to https://bravenewgeek.com with Web Archive copies
e2b4d46Andrey Satarin6mo ago
Ignore Error 403 for robots
c2e9770Andrey Satarin6mo ago
Ignore Error 403 for robots
817ef81Andrey Satarin6mo ago
Ignore Error 403 for robots
da34b8cAndrey Satarin6mo ago

Ignore "SSL certificate verification failed" on Netflix blog

0f93c14Andrey Satarin6mo ago

Add paper "Systems Correctness Practices at Amazon Web Services"

c6707a7Andrey Satarin6mo ago

Add paper "Design and Modular Verification of Distributed Transactions in MongoDB"

9100f3eAndrey Satarin6mo ago

Top contributors

Builders behind this project.