This folder contains TLA+ proofs for various subsystems of the project including:
- Distributed Dynamodb lock
- S3 multi-writer design
To model check these specs, you need to use TLA+ toolbox.
tlaplus
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||