MongoDB Blog company blog
Conformance checking at MongoDB: Testing that our code matches our TLA+ specs
Testing code fidelity with TLA+ specs at MongoDB. Explore conformance checking experiences and agile modelling in distributed systems.
- Points
- 110
- HN comments
- 64
- Submissions
- 1
- Cited by
- 0 commenters
Databases & DataSoftware Engineering2025
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 2, 2025 | Conformance checking at MongoDB: Testing that our code matches our TLA+ specs by todsacerdoti | 110 | 64 |
