A. Jesse Jiryu Davis • 6/3/2025

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

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