Blogsby GlyphConformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs
Some features mentioned below have been sunset since this paper was originally written. Visit our docs to learn more. At MongoDB, we design a lot of distributed algorithms, algorithms with lots of concurrency and complexity, and dire...