TLA+

4 posts · 1 source

MongoDBBlog27 Feb

Towards Model-based Verification of a Key-Value Storage Engine

MongoDBBlog25 Sept

Carrying Complexity, Delivering Agility

MongoDBBlog2 Jul

Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+

MongoDBBlog2 Jun

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