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

mongodb.com

Testing code fidelity with TLA+ specs at MongoDB. Explore conformance checking experiences and agile modelling in distributed systems.

2 pages link to this URL

Jessejiryudavis A Jesse Jiryu Davis Dec 18, 2025

A new Raft enhancement for fast, consistent reads.

0 inbound links en Research distributedsystems

Blogger My-Paper Raft Time Dec 19, 2025

Many distributed systems have a leader-based consensus protocol at their heart. The protocol elects one server as the "leader" who receives ...

0 inbound links BlogPosting en