A. Jesse Jiryu Davis • 6/3/2025

Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs

Read Original

This article details MongoDB's approach to conformance checking, a process of verifying that the implementation of a distributed algorithm matches its formal TLA+ specification. It discusses the challenges, their experiments with two products, and the evolution of their methodology using agile modeling principles over a five-year period.

0 comments
#formal verification #Tla #Model Checking
Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs

Comments

No comments yet

Be the first to share your thoughts!

Browser Extension

Get instant access to AllDevBlogs from your browser

Top of the Week

1
The Beautiful Web
Jens Oliver Meiert • 2 votes
2
When your coding agent doesn’t understand your project, you’ll get junk
Benjamin Cane • 1 votes
3
LLM Use in the Python Source Code
Miguel Grinberg • 1 votes
4
Wagon’s algorithm in Python
John D. Cook • 1 votes
5
An example conversation with Claude Code
Dumm Zeuch • 1 votes