mongodb-labs/vldb25-dist-txns
Artifact for the VLDB 2025 paper, "Design and Modular Verification of Distributed Transactions in MongoDB". Includes TLA+ specifications and code for model-based testing of the WiredTiger API.
Stars: 11Language: TLA
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubArtifact for the VLDB 2025 paper, "Design and Modular Verification of Distributed Transactions in MongoDB". Includes TLA+ specifications and code for model-based testing of the WiredTiger API.