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.

3 pages link to this URL

loskutoff.com Apr 7, 2026

Igor's programming blog

1 inbound link website en

Computer Things Hillel Wayne Jun 5, 2025

There has never been a better time to learn formal specification.

0 inbound links website en

Jessejiryudavis A Jesse Jiryu Davis Jun 3, 2025

Five years ago we tried to test conformance, and only half-succeeded. Here's what happened, and the view from 2025.

0 inbound links en Programming tla+