Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+ | MongoDB Blog
www.mongodb.com
Learn how MongoDB designed a safe, logless reconfiguration protocol using TLA+ to accelerate development and ensure correctness.